Ghidra + CBMC = Assembly Model Checker philipzucker.com· lo · ▲ 0 points · Oct 18, 2026 Hey There Buddo! Ghidra + CBMC = Assembly Model Checker ASMC https://github.com/philzook58/asmc is another attempt to glue lifted Ghidra assembly semantics into CBMC.
0 comments
No comments yet.