#ghidra
-
ASMC: связка Ghidra и CBMC для проверки ассемблера
Филип Цукер представил ASMC — инструмент, который поднимает семантику ассемблера из Ghidra в модель-чекер CBMC. Отдельного внимания заслуживает то, что основной код написан с помощью ИИ.