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

Warning

This publication doesn't include Faculty of Education. It includes Faculty of Informatics. Official publication website can be found on muni.cz.

Authors	SLABÝ Jiří STREJČEK Jan TRTÍK Marek
Year of publication	2013
Type	Article in Proceedings
Conference	Verification, Model Checking, and Abstract Interpretation: 14th International Conference, VMCAI 2013
MU Faculty or unit	Faculty of Informatics
Citation
Doi	http://dx.doi.org/10.1007/978-3-642-35873-9_17
Field	Informatics
Keywords	Bug database; classified bug-reports
Attached files	bd.pdf
Description	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.
Related projects:	Centrum excelence - Institut teoretické informatiky Zapojení studentů Fakulty informatiky do mezinárodní vědecké komunity Rozsáhlé výpočetní systémy: modely, aplikace a verifikace II.