¿Buen texto introductorio sobre análisis estático para encontrar errores?

Question

Estoy buscando un buen texto introductorio sobre la teoría del análisis estático para encontrar errores. ¿Alguna recomendación?

Answer 1

¿Es el wikipedia article bastante introductorio? Tiene muchos enlaces a información más detallada.

También hay un podcast en software engineering radio.

Here, here y here son algunos documentos académicos, pero pueden ser más difíciles de leer y comprender.

Answer 2

Pruebe esto paper que fue el primero en presentar lo que se convirtió en la herramienta Prefast de Microsoft. Esa es una de las herramientas de análisis estático más exitosas.

Answer 3

• Patrick Cousot and Radhia Cousot, "Basic Concepts of Abstract Interpretation."
• Patrick Cousot, "Abstract Interpretation Based Formal Methods and Future Challenges."
• Bruno Blanchet et al., "A Static Analyzer for Large Safety-Critical Software."
• Jérôme Feret, "Static Analysis of Digital Filters."
• Antoine Miné, "Relational abstract domains for the detection of floating-point run-time errors." (PDF)
• Airbus France: Computing the Worst-Case Execution Time of an Avionics Program by Abstract Interpretation (PDF)
• Program Analyzer Generator: Related White Papers