Parfait - A Scalable Bug Checker for C Code

13 years 10 months ago

Download www.dcs.kcl.ac.uk

Parfait is a bug checker of C code that has been designed to address developers’ requirements of scalability (support millions of lines of code in a reasonable amount of time), precision (report few false positives) and reporting of bugs that may be exploitable from a security vulnerability point of view. For large code bases, performance is at stake if the bug checking tool is to be integrated into the software development process, and so is precision, as each false alarm (i.e., false positive) costs developer time to track down. Further, false negatives give a false sense of security to developers and testers, as it is not obvious or clear what other bugs were not reported by the tool. A common criticism of existing bug checking tools is the lack of reported metrics on the use of the tool. To a developer it is unclear how accurate the tool is, how many bugs it does not ﬁnd, how many bugs get reported that are not actual bugs, whether the tool understands when a bug has been ﬁx...

Cristina Cifuentes

Real-time Traffic