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

Анализ кода производится при сборке/компиляции; аналитическими проверками можно управлять на вкладке Code Analysis диалогового окна свойств проекта (рис. 22.5).