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

Материал из Википедии — свободной энциклопедии

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

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

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

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

Содержание 1 Формальные методы 2 Инструменты статического анализа 3 См. также 4 Ссылки

[править] Формальные методы

[править] Инструменты статического анализа

• Coverity
• FindBugs [1]
• ReSharper
• lint и lock_lint, входящие в состав Sun Studio
• SourceAnalyzer
• Viva64, VivaMP
• T-SQL Analyzer T-SQL Analyzer is a tool which can review programmatic modules in your SQL Server 2005 or 2008 database and detect potential problems caused by poor-written code
• АК-ВС.

[править] См. также

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

[править] Ссылки

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

Это незавершённая статья о компьютерах. Вы можете помочь проекту, исправив и дополнив её.