Parfait - Designing a Scalable Bug Checker

Cifuentes, Cristina; Scholz, Bernhard

doi:10.4230/DagSemProc.08161.5

Document

Parfait - Designing a Scalable Bug Checker

Authors Cristina Cifuentes, Bernhard Scholz

Part of: Volume: Dagstuhl Seminar Proceedings, Volume 8161
Part of: Series: Dagstuhl Seminar Proceedings (DagSemProc)
License: Creative Commons Attribution 4.0 International license
Publication Date: 2008-08-28

PDF

File

PDF

DagSemProc.08161.5.pdf

Filesize: 276 kB
8 pages

Document Identifiers

DOI: 10.4230/DagSemProc.08161.5
URN: urn:nbn:de:0030-drops-15737

Subject Classification

Keywords

Static analysis
demand driven
parallelizable

Metrics

Access Statistics
Total Accesses (updated on a weekly basis)

0

PDF Downloads

0

Metadata Views

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.

Cite As Get 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

Author Details

Cristina Cifuentes

Bernhard Scholz

Questions / Remarks / Feedback

Feedback for Dagstuhl Publishing

Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail