Статический анализ кода

Стати́ческий ана́лиз ко́да (англ. static code analysis) — анализ программного обеспечения, производимый без реального выполнения исследуемых программ (анализ, производимый с выполнением программ называется динамический анализ кода). В большинстве случаев анализ производится над какой-либо версией исходного кода, хотя иногда анализу подвергается какой-нибудь вид объектного кода, например P-код или код на MSIL. Термин обычно применяют к анализу, производимому специальным ПО, тогда как ручной анализ называют пониманием или постижением программы.

В зависимости от используемого инструмента глубина анализа может варьироваться от определения поведения отдельных операторов до анализа, включающего весь имеющийся исходный код. Способы использования полученной в ходе анализа информации также различны — от выявления мест, возможно содержащих ошибки, до формальных методов, позволяющих математически доказать какие-либо свойства программы (например, соответствие поведения спецификации).

Некоторые люди считают программные метрики и обратную разработку формами статического анализа.

В последнее время статический анализ всё больше используется в верификации свойств ПО, используемого в компьютерных системах высокой надёжности.

Инструменты статического анализа

• BLAST
• Coverity
• FindBugs [1]
• ReSharper
• lint и lock_lint, входящие в состав Sun Studio
• SourceAnalyzer
• Svace Detector
• PVS-Studio (Viva64, VivaMP)
• T-SQL Analyzer — инструмент, который может просматривать программные модули в базах данных под управлением Microsoft SQL Server 2005 или 2008 и обнаруживать потенциальные проблемы, связанные с низким качеством кода.
• АК-ВС

См. также

• Формальная семантика ЯП
• Формальная верификация
• Анализ программного обеспечения
• Тестирование программного обеспечения
• Постепенная деградация
• SPARK — ЯП

Ссылки

• О безошибочных программах
• Первые шаги к решению проблемы верификации программ
• Сертификация и тестирование программного обеспечения
• Что такое «Parallel Lint»?