Logo image
Back
BegBunch: benchmarking for C bug detection tools
Conference paper   Peer reviewed

BegBunch: benchmarking for C bug detection tools

Cristina Cifuentes, Christian Hoermann, Nathan Keynes, Lian Li, Simon Long, Erica Mealy, Michael Mounteney and Bernhard Scholz
Proceedings of the 2nd International Workshop on Defects in Large Software Systems: Held in conjunction with the ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 2009), pp.16-20
ACM SIGSOFT International Symposium on Software Testing and Analysis, 2009 (Chicago, United States, 19-Jul-2009)
Association for Computer Machinery
2009
DOI: https://doi.org/10.1145/1555860.1555866
url
https://doi.org/10.1145/1555860.1555866View
Published Version

Abstract

Information Systems accuracy scalability
Benchmarks for bug detection tools are still in their infancy. Though in recent years various tools and techniques were introduced, little effort has been spent on creating a benchmark suite and a harness for a consistent quantitative and qualitative performance measurement. For assessing the performance of a bug detection tool and determining which tool is better than another for the type of code to be looked at, the following questions arise: 1) how many bugs are correctly found, 2) what is the tool's average false positive rate, 3) how many bugs are missed by the tool altogether, and 4) does the tool scale. In this paper we present our contribution to the C bug detection community: two benchmark suites that allow developers and users to evaluate accuracy and scalability of a given tool. The two suites contain buggy, mature open source code; bugs are representative of "real world" bugs. A harness accompanies each benchmark suite to compute automatically qualitative and quantitative performance of a bug detection tool. BegBunch has been tested to run on the Solaris, Mac OS X and Linux operating systems. We show the generality of the harness by evaluating it with our own Parfait and three publicly available bug detection tools developed by others.

Details

Metrics

204 Record Views
Logo image