| Тенденции внедрения дескрипторов памяти процессоров и анализаторов для верификации программного обеспечения |
|
 |
|
|
| Авторы |
| | Семенов С. |
| Год публикации |
| | 2022 |
| DOI |
| | 10.31114/2078-7707-2022-4-32-36 |
| УДК |
| | 004.052.42 |
|
| Аннотация |
| | В статье рассмотрены отечественные и зарубежные технологии аппаратной поддержки вычислений процессоров и анализаторов программного обеспечения как методов снижения уязвимостей памяти. Приведены основные архитектурные отличия таких технологий защиты как Эльбрус, CHERI и Arm MTE. Исследованы существующие статические и динамические программные анализаторы на предмет методологии работы и преимуществ по выявлению дефектов в программном коде. |
| Ключевые слова |
| | дескрипторы памяти, тегированная память, Эльбрус, CHERI, Arm MTE, статический анализ кода, Valgrind, Svace. |
| Ссылка на статью |
| | Семенов С. Тенденции внедрения дескрипторов памяти процессоров и анализаторов для верификации программного обеспечения // Проблемы разработки перспективных микро- и наноэлектронных систем (МЭС). 2022. Выпуск 4. С. 32-36. doi:10.31114/2078-7707-2022-4-32-36 |
| Адрес статьи |
| | http://www.mes-conference.ru/data/year2022/pdf/D081.pdf |
