BegBunch talk at the Defects workshop

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.  

Accuracy suite Scalability suite

Comments:

Post a Comment:
Comments are closed for this entry.
About

Cristina Cifuentes

Search

Categories
Archives
« April 2014
SunMonTueWedThuFriSat
  
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
   
       
Today