Generic interpreter - #1

Closed

mrexodia wants to merge 32 commits into

Commits on May 22, 2026

WIP
mrexodia
committed
8ea5d29
planning
mrexodia
committed
f4917dd

Commits on May 24, 2026

devirtualization of binaryshield
mrexodia
committed
d374c71
Remove handler-specific hacks
mrexodia
committed
a8be590
Add presentation
mrexodia
committed
b9739a4
Add VM entry discovery workbench
mrexodia
committed
a53d0ed
Add guided VM entry exploration controls
mrexodia
committed
a619836
Honor initial memory overrides in writable overlays
mrexodia
committed
4186e27
Add LLVM IR concolic VM entry executor
mrexodia
committed
79adc13
Refine concolic execution engine
mrexodia
committed
97b30e9
Initial interpreter planning
mrexodia
committed
aa7d03f
Add section about full abstract interpretation
mrexodia
committed
966b89f
Prepare for smt_wire
mrexodia
committed
d58724a
Clean up old experiments
mrexodia
committed
fbb7441
Add smoke test for vmentry_concolic
mrexodia
committed
218011a
Updated interpreter plan after review
mrexodia
committed
b8b088c
Split instruction lifting from disassembly
mrexodia
committed
5bed09d
Add reusable LLVM IR interpreter core
mrexodia
committed
d39ca37
Use reusable interpreter in VM entry concolic tool
mrexodia
committed
904a1f9
Declare provenance interpreter adapters
mrexodia
committed
6d6cb4b
Add concrete taint interval and counting domains
mrexodia
committed
e60821b
Add SMT interpreter domain
mrexodia
committed
ca7942e
Expose domain examples under tools
mrexodia
committed
3a83dab
Remove tools.domains and format code
mrexodia
committed
70f46d8
Clean up striga.domains and add tests
mrexodia
committed
afb563f
Remove redundant memory load metadata
mrexodia
committed
4430576
add pushan paper
mrexodia
committed
0d216db

Commits on May 26, 2026