Hata bulma için statik analizde iyi bir başlangıç ​​metni var mı?

Question

Hata bulma için statik analiz teorisi hakkında iyi bir tanıtım metni arıyorum. Herhangi bir tavsiye?

Answer 1

wikipedia article tanıtımı yeterli mi? Daha fazla derinlemesine bilgi için birçok bağlantıya sahiptir.

software engineering radio da podcast da var.

Here, here ve here bazı akademik makaleleridir, ancak okumak ve anlamak zor olabilir.

Answer 2

Bunu, Microsoft'un Prefast aracı haline getiren ilk tanıtıcı olan bu paper deneyin. Bu en başarılı statik analiz araçlarından biridir.

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