Все новости
Цифровой Двойник

Обнаружение уязвимостей в машинном коде AArch64 с использованием цифрового двойника

Предложен объяснимый цифровой двойник для обнаружения уязвимостей в машинном коде AArch64 без доступа к исходному коду. Двойник воспроизводит выполнение программы, сохраняя состояние регистров, флагов, памяти и выделенных блоков. Уязвимости описываются символическими правилами в алгебре Клини, которые компилируются в конечные автоматы для сканирования трассы.

Почему это важно

Это расширяет применение цифровых двойников на анализ безопасности исполняемого кода, что важно для защиты встроенных систем и промышленных предприятий.

Созвучно продуктам ЦД

ЦДП
Заголовок оригинала
Vulnerability Detection in AArch64 Machine Code Using a Digital Twin
Читать первоисточник: arXiv API — полнотекстовый поиск "digital twin"

Перевод и краткое изложение — машинные, по материалам источника. Полный текст статьи не републикуется; права на него принадлежат источнику.