Good introductory text on static analysis for error detection?

Question

I am looking for a good introductory text on the theory of static analysis for finding errors. Any recommendations?

Answer 1

• Patrick Kuso and Radhiya Kuso, "Basic Concepts of Abstract Interpretation."
• Patrick Cousot, "Abstract Interpretative Formal Techniques and Future Challenges."
• Bruno Blanchet et al., "Static analyzer for large mission-critical software."
• Jerome Feret, Static Analysis of Digital Filters.
• Antoine Miné, "Relational abstract domains for detecting floating point time errors." (Pdf)
• Airbus France: Avionics worst case runtime calculation using abstract interpretation (PDF)
• Program Analyzer Generator: Similar White Documents

Answer 2

Is wikipedia article introductory enough? It contains many links to more detailed information.

There's also a podcast on a software development program .

Here , here and here are some scientific articles, but they may be more difficult to read and understand.

Answer 3

Try the document that first introduced what became Microsoft Prefast . This is one of the most successful static analysis tools.