Статический анализ: звук против несостоятельного

Question

Я начал работать со статическим анализом. Прочитав несколько бумаг, мне остается непонятно одно. Каковы правильные определения звукового и необоснованного статического анализа?

Проблема в том, что я нахожу противоречивые определения в разных местах: «... анализ звука моделирует все поведение программы». http://blog.errstr.com/2013/01/17/on-static-analysis/

«Инструмент без звука/Официальные инструменты: эти инструменты сообщают обо всех дефектах, проверенных на предмет &, не производят ложных негативов». http://techvolve.blogspot.de/2014/03/static-analysis-overview.html

Answer 1

Определения в http://techvolve.blogspot.de/2014/03/static-analysis-overview.html отменены. Это должно быть:

• Unsound tools: Эти инструменты жертвуют максимизацией поиска ошибок для минимизации ложных срабатываний на разумном уровне. Итак, эти инструменты намеренно неточны & unecidable - это означает, что возможны ложные срабатывания & ложные негативы.
• Звуковые инструменты/Официальные инструменты: Эти инструменты сообщают обо всех дефектах, проверенных на предмет &, не создают ложных негативов. Они относительно медленнее. но, создает большое количество ложных срабатываний.

Эта страница не особенно хорошо написана, даже если вы опустите путаницу. Слово «неразрешимый» по-прежнему используется в нетрадиционном смысле в первом абзаце. (A проблема является разрешимой или неразрешимой. Инструмент не является ни тем, ни другим.)

Вам лучше опустить эту статью из вашего библиографического поиска.