#assembly
-
ASMC: связка Ghidra и CBMC для проверки ассемблера
Филип Цукер представил ASMC — инструмент, который поднимает семантику ассемблера из Ghidra в модель-чекер CBMC. Отдельного внимания заслуживает то, что основной код написан с помощью ИИ.
-
Frame — сервер X11, написанный целиком на ассемблере x86_64
После X11-сервера YSERVER на Rust появилась ещё более экзотическая реализация: Frame написан полностью на ассемблере x86_64. Как и в предыдущем случае, значительная часть кода создана с помощью ИИ.