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. © Springer-Verlag 2013.
CITATION STYLE
Slaby, J., Strejček, J., & Trtík, M. (2013). ClabureDB: Classified bug-reports database tool for developers of program analysis tools. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 7737 LNCS, pp. 268–274). Springer Verlag. https://doi.org/10.1007/978-3-642-35873-9_17
Mendeley helps you to discover research relevant for your work.