Informace o publikaci
ClabureDB: Classified Bug-Reports Database Tool for Developers of Program Analysis Tools
| Autoři | |
|---|---|
| Rok publikování | 2013 |
| Druh | Článek ve sborníku |
| Konference | Verification, Model Checking, and Abstract Interpretation: 14th International Conference, VMCAI 2013 |
| Fakulta / Pracoviště MU | |
| Citace | |
| Doi | http://dx.doi.org/10.1007/978-3-642-35873-9_17 |
| Obor | Informatika |
| Klíčová slova | Bug database; classified bug-reports |
| Přiložené soubory | |
| Popis | Představujeme databázi, která může sloužit jako nástroj pro ladění a evaluaci nástrojů pro analýzu programů. Databáze obsahuje záznamy o chybách vyprodukované různými nástroji spuštěnými na různé zdrojové kódy. Tyto záznamy jsou klasifikovány buď jako skutečn0 chyby nebo jako falešná hlášení. Databáza v současnosti obsahuje přes 800 záznamů pro Linux kernel 2.6.28. Je plánována i podpora pro další softwarové projekty napsané v různých programovacích jazycích. Databázi je možno stáhnout a využívat pomocí SQL dotazů nebo s pomocí webového rozhraní. |
| Související projekty: |