DagSemProc.08161.5.pdf
- Filesize: 276 kB
- 8 pages
Document
Parfait - Designing a Scalable Bug Checker
Authors
-
Part of:
Volume:
Dagstuhl Seminar Proceedings, Volume 8161
Series: Dagstuhl Seminar Proceedings (DagSemProc) - License:
Creative Commons Attribution 4.0 International license
- Publication Date: 2008-08-28
Cite AsGet BibTex
Cristina Cifuentes and Bernhard Scholz. Parfait - Designing a Scalable Bug Checker. In Scalable Program Analysis. Dagstuhl Seminar Proceedings, Volume 8161, pp. 1-8, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2008)
https://doi.org/10.4230/DagSemProc.08161.5
https://doi.org/10.4230/DagSemProc.08161.5
Abstract
We present the design of Parfait, a static layered program analysis framework for bug checking, designed for scalability and precision by improving false positive rates and scale to millions of lines of code. The Parfait framework is inherently parallelizable and makes use of demand driven analyses.
In this paper we provide an example of several layers of analyses for buffer overflow, summarize our initial implementation for C, and provide preliminary results.
Results are quantified in terms of correctly-reported, false positive and false negative rates against the NIST SAMATE synthetic benchmarks for C code.
Keywords
- Static analysis
- demand driven
- parallelizable
Metrics
- Access Statistics
-
Total Accesses (updated on a weekly basis)
0PDF Downloads