Hey There Buddo!12 min read
Ghidra + CBMC = Assembly Model Checker
ASMC https://github.com/philzook58/asmc is another attempt to glue lifted Ghidra assembly semantics into CBMC.
By philipzucker.com via asbLobsters
Read the full story
Originally published by Lobsters on Oct 18, 2026.
Comments
Sign in to join the discussion.