Названия:
АНАЛИЗ УЯЗВИМОСТЕЙ В ПРОГРАММНОМ ОБЕСПЕЧЕНИИ
Автор:
Петров Сергей Владимирович
Расположение страниц:
33-38
Язык:
Русский
Аннотация:
В настоящем фундаментальном научно-исследовательском труде осуществляется всеобъемлющая математико-компьютерная деконструкция современных подходов к обнаружению, систематизации и устранению дефектов в исходном и бинарном коде программных комплексов. В противовес поверхностным сигнатурным методам, оперирующим базовыми базами известного вредоносного ПО, в данной статье исследуется синергетика статистического анализа абстрактных синтаксических деревьев (AST), динамического фаззинг- тестирования на основе графов покрытия (Coverage-guided Fuzzing) и символьного исполнения (Symbolic Execution). В работе проводится глубокий анализ новейших математических схем генерации входных векторальных последовательностей, исследуются механизмы стабилизации фаззинг-движков при декомпиляции нетипичных архитектур, а также рассматриваются методы автоматизированной оценки тяжести выявленных брешей по системе CVSS 4.0. Особое внимание уделено сравнительному анализу технологических платформ выявления переполнения буфера, уязвимостей Use-After-Free и логических ошибок аутентификации, а также детерминирующему влиянию методов машинного обучения на формирование экспериментально верифицируемых следствий радикального повышения защищенности критической информационной инфраструктуры в масштабах современной индустрии разработки ПО.