Правила статического анализа и их категории

Правило представляет собой базовый элемент конфигурации статического анализа. Конфигурация анализа состоит из различных правил или наборов правил, которые задают параметры анализа и оценивают работу ресурсов. Категория правил включает в себя правила и их категории, которые определяют соответствие ресурса заданным стандартам.

Правило - это утверждение с описанием действия, которое должно последовать после введения кода. Приведенные ниже утверждения служат правилами для проверки кода:

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

Уровни серьезности

Каждому правилу их авторы присваивают уровень серьезности, чтобы определить, насколько ресурс отклоняется от заданных стандартов. Каждому правилу можно присвоить один из уровней серьезности, которые перечислены в следующей таблице:

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

Несмотря на то что рекомендация - самый низкий уровень серьезности, необходимо уделять должное внимание результатам, которым присвоен этот уровень. Эти результаты указывают на незначительные неполадки, которые в будущем могут привести к серьезным ошибкам. Разработчикам рекомендуется применять заданные правила анализа, потому что эти правила основаны на производственных стандартах и учитывают богатый опыт разработок.

Категории правил

Модули анализа - это компоненты среды анализа, которая включает в себя категории наборов инструментов. Для разных типов анализа применяют разные модули. В зависимости от целей анализа можно добавлять или исключать отдельные правила или их категории.

Например, существует отдельная категория правил для оценки производительности кода. Производительность - важный аспект качества приложения, поэтому она обязательно оценивается в процессе проверки кода. Категория правил для оценки производительности делится на три подкатегории: память, профилирование и скорость. Каждая из этих подкатегорий содержит набор правил для оценки исходного кода в процессе анализа.

Связанные задачи
Анализ исходного кода с помощью инструментов статического анализа
Создание и редактирование конфигурации статического анализа
Создание пользовательских правил и их категорий