NASA NTRS · 20040046137
Static Analysis of C Programs
Abstract
Contents include the following: Motivation. Cost of losing missions. Introduction to Static Analysis:definition, defect classes, applicability issues, specialization, analysis of MPF. C Global Surveyor (CGS): fact sheet, CGS phases, example. Conclusions.
Keep this discovery
Explore connections, maps & timelines
Venet, Arnaud, Brat, Guillaume. 2003-01-01. Static Analysis of C Programs. https://ntrs.nasa.gov/citations/20040046137
Cite the original work for its findings. Save a collection to share your selection of sources.