Хороший вводный текст по статическому анализу для обнаружения ошибок?

Question

Я ищу хороший вводный текст по теории статического анализа для поиска ошибок. Любые рекомендации?

Answer 1

Действительно ли wikipedia article достаточно вводный? В нем много ссылок на более подробную информацию.

Существует также podcast на software engineering radio.

Here, here и here - некоторые академические документы, но их может быть труднее читать и понимать.

Answer 2

Пройти paper, что было первым - кто узнал о "Prefast". Это один из самых успешных инструментов статического анализа.

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