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

Question

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

Answer 1

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

Answer 2

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

Существует также подкаст на радиоинженерии программного обеспечения .

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

Answer 3

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