Статическое исследование: основные этапы