The Community for Technology Leaders
Green Image
Issue No. 03 - May-June (2012 vol. 10)
ISSN: 1540-7993
pp: 16-23
Nathan Keynes , Oracle Labs
Manuel Valdiviezo , Oracle Labs
Lian Li , Oracle Labs
Cristina Cifuentes , Oracle Labs
Nathan Hawes , Oracle Labs
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.
INDEX TERMS
static code analysis, bug checking, program analysis, experience report, Project Parfait, Parfait Server, computer security
CITATION
Nathan Keynes, Manuel Valdiviezo, Lian Li, Cristina Cifuentes, Nathan Hawes, "Transitioning Parfait into a Development Tool", IEEE Security & Privacy, vol. 10, no. , pp. 16-23, May-June 2012, doi:10.1109/MSP.2012.30
228 ms
(Ver 3.1 (10032016))