DocumentCode
1472609
Title
Transitioning Parfait into a Development Tool
Author
Cifuentes, Cristina ; Keynes, Nathan ; Li, Lian ; Hawes, Nathan ; Valdiviezo, Manuel
Volume
10
Issue
3
fYear
2012
Firstpage
16
Lastpage
23
Abstract
The Parfait static-code-analysis tool started as a research project at Sun Labs (now Oracle Labs) to address runtime and precision shortcomings of C and C++ static-code-analysis tools. After developers started to see and verify the research outcomes, they made further requests to ensure the tool would be easy to use and integrate. This helped transition Parfait from a research artifact to a developer tool. Developers use Parfait daily to prevent the introduction of defects into code bases and to report defects in existing code. Several organizations at Oracle have integrated it into build processes.
Keywords
C++ language; program diagnostics; software tools; C tools; C++ tools; Oracle; Parfait static code analysis tool; Sun Labs; code bases; developer tool; research artifact; research project; Algorithm design and analysis; Benchmark testing; Computer security; Encoding; Runtime; Parfait Server; Project Parfait; bug checking; computer security; experience report; program analysis; static code analysis;
fLanguage
English
Journal_Title
Security & Privacy, IEEE
Publisher
ieee
ISSN
1540-7993
Type
jour
DOI
10.1109/MSP.2012.30
Filename
6171154
Link To Document