Статический анализ исходных текстов программ

— совокупность методов контроля (не)соответствия реализованных и декларированных в документации функциональных возможностей программного обеспечения, основанных на структурном анализе и декомпозиции исходных текстов программ.

[Приказ председателя Гостехкомиссии России от 04.06.1999 № 114 «Защита от несанкционированного доступа к информации. Часть 1. Программное обеспечение средств защиты информации. Классификация по уровню контроля отсутствия недекларированных возможностей»]