ClabureDB

Slabý,  Jiří; Strejček,  Jan; Trtík,  Marek

ClabureDB

Warning

This publication doesn't include Institute of Computer Science. 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	2012
MU Faculty or unit	Faculty of Informatics
Web	ClabureDB
Description	We present a software that can serve as a tool for tuning and valuation of miscellaneous program analysis tools. The software 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 software currently contains more than 800 bug-reports detected in the Linux kernel 2.6.28, almost 300 reports from Software Competition 2012 and over 2000 reports from Software Competition 2013. Support of other software projects written in various programming languages is planned.
Related projects:	Czech Republic membership in the European Research Consortium for Informatics and Mathematics Rozsáhlé výpočetní systémy: modely, aplikace a verifikace