Анализ исходного или объектного кода программы без выполнения кода. Обычно анализ предназначен для обнаружения ошибок.