Whitepapers and Articles

Overview of GrammaTech Static Analysis Technology
Comprehensive information about CodeSonar 3.0.
FDA's Use of CodeSonar to Review Medical Devices (includes real-world data)
Using Static Analysis to Evaluate Software in Medical Devices, by Raoul Jetley of the FDA and Paul Anderson of GrammaTech, published in Embedded Systems Design (electronic reprint). Describes the use of CodeSonar in post-market review of a commercial medical device.
EE Times Article on Static Analysis Tools
Static Analysis Stomps on Bugs by Richard A. Quinnell (electronic reprint). Examines the move toward using static analysis tools early in the software development cycle.
Dr. Dobbs Journal Article on Detecting Bugs in Safety-Critical Code
Detecting Bugs in Safety-Critical Code, by Paul Anderson of GrammaTech. Describes the role of static analysis tools in software development, with a special emphasis on safety-critical applications.
Independent Evaluation of CodeSonar by Carnegie Mellon University
A student project that includes evaluations of CodeSonar's usability, time/space requirements, and analysis results. Authors are Vishal Garg, Sean Lao, Xiang Shen, Guo-Shiuan Wang, Bradley Wilson, Pengfei Zhao.
Embedded Technology Article on Static vs. Dynamic Testing
Static vs. Dynamic Detection of Bugs in Safety-Critical Code, by Paul Anderson (electronic reprint). Compares and contrasts static and dynamic approaches to software testing.