[PDF][PDF] Определение метрики диверсифицированности мультиверсионного программного обеспечения на уровне алгоритмов

ДВ Грузенкин, ИА Якимов… - …, 2017 - s.fundamental-research.ru
Мультиверсионное программирование является одним из подходов к повышению
уровня надежности программного обеспечения и его устойчивости к сбоям во время …

Platform for interprocedural static analysis of binary code

HK Aslanyan - Труды Института системного программирования …, 2018 - cyberleninka.ru
This paper describes the developed platform for static analysis of binary code. The platform
is developed based on interprocedural, flow-sensitive and context-sensitive analysis of the …

Платформа межпроцедурного статического анализа бинарного кода

АК Асланян - Труды Института системного …, 2018 - ispranproceedings.elpub.ru
Аннотация В рамках данной статьи описывается разработанная платформа для
статического анализа бинарного кода. Платформа разработанa на основе …

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

МС Арутюнян, ГС Иванов, ВГ Варданян… - Труды Института …, 2019 - cyberleninka.ru
Разработчики программного обеспечения часто прибегают к заимствованию кода как
внутри одного проекта, так и из других проектов. Ввиду возможного содержания …