Symbolic Execution Articles

Page 1 of 1 (3 articles)

3/10/2026 • EN

Introducing Knuckledragger, a Python tool for refinement modeling and verification of RISC-V assembly code using symbolic execution.

assembly Binary Verification formal verification Risc V Symbolic Execution

3/2/2026 • EN

An update on the Knuckledragger theorem prover project, covering kernel changes, AI experiments, symbolic union, and future development plans.

formal verification proof assistant Smt Symbolic Execution Theorem Proving

12/8/2025 • EN

Exploring a semi-interactive proof system for verifying assembly code using Python, Z3, and Ghidra Pcode.

Assembly Verification Pcode Riscv Symbolic Execution Z3py

Select Language