#ghidra
-
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.
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.