Анализ уязвимостей программного кода методом шаблонов

Программа представляется в виде последовательности формализованных инструкций, из которых можно выделить характерные подпоследовательности команд – уязвимости. Нахождение таких подпоследовательностей и определение их функционального назначения производится с помощью семантического анализа кода на базе шаблонов.