#assembly
-
ASMC: Wiring Ghidra to CBMC for Assembly Model Checking
Philip Zucker has released ASMC, a tool that lifts Ghidra's assembly semantics into the CBMC model checker. Notably, most of the glue code was written by AI.
-
Frame — an X11 server written entirely in x86_64 assembly
After YSERVER, the Rust-based X11 server, an even more exotic implementation has surfaced: Frame is written entirely in x86_64 assembly. As with its predecessor, a significant portion of the code was created with the help of AI.