TY - JOUR AU - Евневич AU - Перминов AU - Белаш AU - Внуков PY - 2008/04/01 Y2 - 2024/03/28 TI - Анализ уязвимостей программного кода методом шаблонов JF - Труды СПИИРАН JA - ТС VL - 0 IS - 7 SE - Статьи DO - 10.15622/sp.7.15 UR - http://proceedings.spiiras.nw.ru/index.php/sp/article/view/1360 AB - Программа представляется в виде последовательности формализованных инструкций, из которых можно выделить характерные подпоследовательности команд - уязвимости. Нахождение таких подпоследовательностей и определение их функционального назначения производится с помощью семантического анализа кода на базе шаблонов. ER -