Статический анализ исходного кода программы по ГОСТ Р 56939–2016

Вид работ по инструментальному исследованию программы, основанный на анализе исходного кода программы с использованием специализированных инструментальных средств (статических анализаторов) в режиме, не предусматривающем реального выполнения кода [из 3.15 ГОСТ Р 56939–2016]