D 2013

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

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

Základní údaje

Originální název

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

Autoři

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

Vydání

Berlin, Heidelberg, Verification, Model Checking, and Abstract Interpretation: 14th International Conference, VMCAI 2013, od s. 268-274, 7 s. 2013

Nakladatel

Springer

Další údaje

Jazyk

angličtina

Typ výsledku

Stať ve sborníku

Obor

Informatika

Stát vydavatele

Německo

Utajení

není předmětem státního či obchodního tajemství

Forma vydání

tištěná verze "print"

Označené pro přenos do RIV

Ano

Kód RIV

RIV/00216224:14330/13:00065952

Organizace

Fakulta informatiky – Masarykova univerzita – Repozitář

ISBN

978-3-642-35872-2

ISSN

Klíčová slova anglicky

Bug database; classified bug-reports

Návaznosti

GBP202/12/G061, projekt VaV. MUNI/A/0739/2012, interní kód Repo. MUNI/A/0760/2012, interní kód Repo.
Změněno: 1. 9. 2020 13:32, RNDr. Daniel Jakubík

Anotace

ORIG CZ

V originále

We present a database that can serve as a tool for tuning and evaluation of miscellaneous program analysis tools. The database contains bug-reports produced by various tools applied to various source codes. The bug-reports are classified as either real errors or false positives. The database currently contains more than 800 bug-reports detected in the Linux kernel 2.6.28. Support of other software projects written in various programming languages is planned. The database can be downloaded and manipulated by SQL queries, or accessed via a web frontend.

Česky

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í.
Zobrazeno: 2. 5. 2026 23:56