BegBunch talk at the Defects workshop
By Cristina Cifuentes on Jul 20, 2009
Cristina presented our work on benchmarking for C/C++ static analysis bug-checking tools, BegBunch, at the Defects Workshop in Chicago yesterday. BegBunch allows users to measure accuracy and scalability of their bug-checker, as well as compare bug-checkers to help determine which one may be better suited to your task. BegBunch consists of 2 harnesses and 3 suites: Synthetic, Accuracy and Scalability.