Вид работ по инструментальному исследованию программы, основанный на анализеисходного кода программы с использованием специализированных инструментальных средств (статических анализаторов) в режиме, не предусматривающем реального выполнения кода [из п. 3.15 ГОСТ Р 56939-2016]
Совокупность методов контроля (не)соответствия реализованных и декларированных в документациифункциональных возможностейПО, основанных на структурном анализе и декомпозиции исходных текстов программ [из 2.8 РД ГТК Защита от НСД. ПО СЗИ. Классификация по уровню контроля отсутствия недекларированных возможностей]