Статья: ТЕНДЕНЦИИ ВНЕДРЕНИЯ ДЕСКРИПТОРОВ ПАМЯТИ ПРОЦЕССОРОВ И АНАЛИЗАТОРОВ ДЛЯ ВЕРИФИКАЦИИ ПРОГРАММНОГО ОБЕСПЕЧЕНИЯ (2022)

Читать онлайн

В статье рассмотрены отечественные и зарубежные технологии аппаратной поддержки вычислений процессоров и анализаторов программного обеспечения как методов снижения уязвимостей памяти. Приведены основные архитектурные отличия таких технологий защиты как Эльбрус, CHERI и Arm MTE. Исследованы существующие статические и динамические программные анализаторы на предмет методологии работы и преимуществ по выявлению дефектов в программном коде.

Ключевые фразы: дескрипторы памяти, тегированная память, ЭЛЬБРУС, cheri, arm mte, статический анализ кода, valgrind, svace
Автор (ы): Семенов Сергей Александрович
Журнал: ПРОБЛЕМЫ РАЗРАБОТКИ ПЕРСПЕКТИВНЫХ МИКРО- И НАНОЭЛЕКТРОННЫХ СИСТЕМ (МЭС)

Предпросмотр статьи

Идентификаторы и классификаторы

УДК
004.052.42. Обнаружение ошибок. Проверка достоверности данных. Верификация данных
Для цитирования:
СЕМЕНОВ С. А. ТЕНДЕНЦИИ ВНЕДРЕНИЯ ДЕСКРИПТОРОВ ПАМЯТИ ПРОЦЕССОРОВ И АНАЛИЗАТОРОВ ДЛЯ ВЕРИФИКАЦИИ ПРОГРАММНОГО ОБЕСПЕЧЕНИЯ // ПРОБЛЕМЫ РАЗРАБОТКИ ПЕРСПЕКТИВНЫХ МИКРО- И НАНОЭЛЕКТРОННЫХ СИСТЕМ (МЭС). 2022. № 4
Текстовый фрагмент статьи
Моя история просмотров (9)