Цифровой двойник
Цифровые двойники, единая интеграционная платформа и роботы. Правительство утвердило программу развития угольной промышленности России
Статья рассказывает о развитии цифровых технологий в топливно-энергетическом комплексе России.
Обнаружение уязвимостей в машинном коде AArch64 с помощью цифрового двойника
Предложен объяснимый цифровой двойник для обнаружения уязвимостей в машинном коде AArch64 без доступа к исходному коду. Двойник воспроизводит выполнение программы, сохраняя состояние регистров, памяти и выделенных блоков. Каждая инструкция преобразуется в событие трассы, а уязвимости описываются символическими правилами в алгебре Клини с тестами, которые компилируются в конечные автоматы для сканирования трассы без SMT-решателя.
Почему это важно
Новизна в использовании цифрового двойника для анализа исполняемого кода, что расширяет применение концепции на кибербезопасность и управление активами программного обеспечения.
- Заголовок оригинала
- Vulnerability Detection in AArch64 Machine Code Using a Digital Twin
Перевод и краткое изложение — машинные, по материалам источника. Полный текст статьи не републикуется; права на него принадлежат источнику.