Informace o publikaci

ClabureDB: Classified Bug-Reports Database Tool for Developers of Program Analysis Tools

Autoři

SLABÝ Jiří STREJČEK Jan TRTÍK Marek

Druh Článek ve sborníku
Konference Verification, Model Checking, and Abstract Interpretation: 14th International Conference, VMCAI 2013
Fakulta / Pracoviště MU

Fakulta informatiky Ústav výpočetní techniky

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:

Používáte starou verzi internetového prohlížeče. Doporučujeme aktualizovat Váš prohlížeč na nejnovější verzi.

Další info