Title :
Transitioning Parfait into a Development Tool
Author :
Cifuentes, Cristina ; Keynes, Nathan ; Li, Lian ; Hawes, Nathan ; Valdiviezo, Manuel
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;
Journal_Title :
Security & Privacy, IEEE
DOI :
10.1109/MSP.2012.30
