Přehled o publikaci
2013
ClabureDB: Classified Bug-Reports Database Tool for Developers of Program Analysis Tools
SLABÝ, Jiří; Jan STREJČEK and Marek TRTÍKBasic information
Original name
ClabureDB: Classified Bug-Reports Database Tool for Developers of Program Analysis Tools
Authors
SLABÝ, Jiří; Jan STREJČEK and Marek TRTÍK
Edition
Berlin, Heidelberg, Verification, Model Checking, and Abstract Interpretation: 14th International Conference, VMCAI 2013, p. 268-274, 7 pp. 2013
Publisher
Springer
Other information
Language
English
Type of outcome
Proceedings paper
Field of Study
Informatics
Country of publisher
Germany
Confidentiality degree
is not subject to a state or trade secret
Publication form
printed version "print"
Marked to be transferred to RIV
Yes
RIV identification code
RIV/00216224:14330/13:00065952
Organization
Fakulta informatiky – Repository – Repository
ISBN
978-3-642-35872-2
ISSN
Keywords in English
Bug database; classified bug-reports
Links
GBP202/12/G061, research and development project. MUNI/A/0739/2012, interní kód Repo. MUNI/A/0760/2012, interní kód Repo.
Changed: 1/9/2020 13:32, RNDr. Daniel Jakubík
In the original language
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.
In Czech
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í.
