Buon testo introduttivo sull'analisi statica per la ricerca dei bug?

Question

Sto cercando un buon testo introduttivo sulla teoria dell'analisi statica per la ricerca di errori. Qualche consiglio?

Answer 1

Il numero wikipedia article è sufficiente? Ha molti collegamenti a informazioni più approfondite.

C'è anche un podcast su software engineering radio.

Here, here e here sono alcuni documenti accademici, ma possono essere più difficili da leggere e da comprendere.

Answer 2

Prova questo paper che è stato il primo a introdurre quello che è diventato lo strumento di Microsoft Prefast. Questo è uno degli strumenti di analisi statica di maggior successo.

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