Repository navigation

Generic interpreter - #1

Closed

mrexodia wants to merge 32 commits into

masterfrom

wip

Closed

Generic interpreter#1
mrexodia wants to merge 32 commits into
masterfrom
wip

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
- Fix memory explosion in vmentry_concolic.py
  mrexodia
  committed
  ff68feb
- Emit __striga_invalid when disassembly fails
  mrexodia
  committed
  9a7ef2e
- Add DF and a few missing semantics
  mrexodia
  committed
  17ac061
- Handle calls and invalid instructions in vmentry_concolic.py
  mrexodia
  committed
  9e77633
- Update simplifier to handle ((stack + k) ^ source_r14 - C) + C
  mrexodia
  committed
  99a0b9f

Commits

Commits on May 22, 2026

Commits on May 24, 2026

Commits on May 26, 2026