Статический анализ кода — это проверка исходного кода на стадии проектирования, которая выходит за пределы возможностей синтаксического контроля компилятора. Расширим эту аналогию: если проверка компилятора аналогична проверке правописания текстового процессора, то статический анализ кода аналогичен проверке грамматики: он пытается определить смысл вашего кода, а затем указать проблемные области.
Анализ кода производится при сборке/компиляции; аналитическими проверками можно управлять на вкладке Code Analysis диалогового окна свойств проекта (рис. 22.5).