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

Question

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

Answer 1

• Патрик Кузо и Радия Кузо, "Основные понятия абстрактной интерпретации".
• Патрик Кузо, "Формальные методы, основанные на абстрактной интерпретации, и будущие вызовы".
• Бруно Бланше и др., "Статический анализатор для большого программного обеспечения, критически важного для безопасности".
• Жером Ферэ, "Статический анализ цифровых фильтров".
• Антуан Мине, "Реляционные абстрактные домены для обнаружения ошибок времени выполнения с плавающей точкой". (PDF)
• Airbus France: вычисление наихудшего времени выполнения программы авионики с помощью абстрактной интерпретации (PDF)
• Генератор программных анализаторов: сопутствующие документы

Answer 2

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

Есть также подкаст на радио разработки программного обеспечения.

Здесь, здесь и здесь есть несколько научных работ, но их может быть сложнее читать и понимать.

Answer 3

Попробуйте эту статью, которая была первой, чтобы представить, что стало инструментом Microsoft Prefast. Это один из самых успешных инструментов статического анализа.