Ghidra + CBMC = Assembly Model Checker 0 ▲ Hey There Buddo! 1 day ago · Tech · hide · 0 comments The C Bounded Model Checker https://github.com/diffblue/cbmc is a useful tool on the pareto frontier of soundness and pragmatism. ASMC https://github.com/philzook58/asmc is another attempt to glue lifted Ghidra assembly semantics into it. No comments yet. Log in to reply on the Fediverse. Comments will appear here.
