12/8/2025
•
EN
Semi-Interactive Assembly Verification in Knuckledragger
Exploring a semi-interactive proof system for verifying assembly code using Python, Z3, and Ghidra Pcode.