Ghidra + CBMC = Assembly Model Checker
ASMC https://github.com/philzook58/asmc is another attempt to glue lifted Ghidra assembly semantics into CBMC.
Quick read
A project that lifts Ghidra p-code semantics into CBMC to enable assembly model checking and translation validation. Visit to learn how asmc converts ELF to CBMC GOTO IR and to see examples for verifying assembly against C or checking ABI and DWARF properties.
- Lift compiled .elf into .gb using Ghidra p-code semantics
- Use CBMC to verify assembly, ABI, DWARF, and translation validation
- Examples and harnesses for comparing C and assembly behavior
Reactions
No reactions yet. Record a short about this link and it shows up here, in Reels and in the community feed.
Is philipzucker.com your site? Sign in to verify it and get a Verified badge, full stats and a link-back badge.
Ghidra + CBMC = Assembly Model Checker was shared on NexURLs by Nexis on October 19, 2026, in Tech & AI.
Sites like Ghidra + CBMC = Assembly Model Checker
- Compiler Explorergodbolt.org
Compiler Explorer is an interactive web tool that compiles code and shows the resulting assembly for languages like...
- CCBagagithub.com
CCBaga is a toolkit for managing Claude identities and browser settings. Users can streamline their workspace and...
- MCVT: Unified CLI Wrapper for Toolsgithub.com
MCVT is a command-line tool for converting media and documents easily. Users can streamline their conversion tasks...
- Open-Source Memory System for AI Coding Agentsgithub.com
LockIn is an open-source notebook for AI tools to save and organize notes. Users can self-host it and interact with...
- PicoClaw v0.5.0 Releasegithub.com
PicoClaw is an ultra-lightweight, open-source personal AI assistant. It's designed for RISC-V and embedded systems...
- PS2 Games Recompiled to WebAssemblygithub.com
This GitHub repository allows you to run PS2 games in your browser using WebAssembly. It's a great resource for those...
More Tech & AI finds
- How HTTPS Workshowhttps.works
- Low-tech Magazinesolar.lowtechmagazine.com
- DOS Zonedos.zone
- v86copy.sh
- PCjs Machinespcjs.org
- PCPartPickerpcpartpicker.com
Where people went next
Nobody has added a next stop yet. Be the first.