Skip to content
Open
Show file tree
Hide file tree
Changes from 14 commits
Commits
Show all changes
108 commits
Select commit Hold shift + click to select a range
1299784
Implement exploration specification support in symbolic execution
0verflowme Mar 25, 2026
ef1520c
Enhance symbolic execution framework
0verflowme Mar 26, 2026
77c729e
Symex Rewrite
0verflowme Mar 27, 2026
f7f7cce
Enhance symbolic execution framework with new VM operations
0verflowme Mar 27, 2026
b42d269
Enhance symbolic execution framework with new VM features
0verflowme Mar 31, 2026
b1e470d
Enhance symbolic execution framework with new features and improvements
0verflowme Mar 31, 2026
0b0b0ce
Enhance r2dec with new semantic structuring and linearization capabil…
0verflowme Apr 1, 2026
4ec90ec
Refactor VM summary handling in r2dec
0verflowme Apr 7, 2026
1c3d0af
Overhaul symex pipeline and scope-aware interproc integration
0verflowme Apr 23, 2026
4b32bdc
Revise agent guidelines and roadmap for r2sleigh
0verflowme Apr 23, 2026
63c2548
plugin: route analysis through typed session store
0verflowme Apr 25, 2026
404f287
test: run e2e against matching radare2 session ABI
0verflowme Apr 25, 2026
04724b6
test: refresh r2sleigh integration snapshots
0verflowme Apr 25, 2026
e13459c
test: make e2e cli z3 setup self-contained
0verflowme Apr 25, 2026
fe67df5
plugin: make sym scope growth allocation safe
0verflowme Apr 25, 2026
38be821
Merge remote-tracking branch 'origin/master' into codex/gold-standard…
0verflowme Apr 25, 2026
3fd4bfb
ci: validate against paired radare2 seam
0verflowme Apr 25, 2026
78ffcd5
Harden r2sleigh kernel analysis path
0verflowme May 5, 2026
28664f2
Collapse sleigh mode and profile configs
0verflowme May 5, 2026
bd9d4d1
Remove hidden sleigh analysis config overrides
0verflowme May 5, 2026
1bc637e
r2sym: add kernel helper summaries
0verflowme May 7, 2026
e4ef0a1
r2plugin: centralize depth policy and cache eviction
0verflowme May 7, 2026
6c34c1a
tools: add local kernel smoke harness
0verflowme May 7, 2026
b866ffd
Harden kernel-driven analysis summaries
0verflowme May 7, 2026
28917af
Fix clean radare2 plugin test linking
0verflowme May 8, 2026
bf90a25
Harden decompile residual routing
0verflowme May 8, 2026
464ae8f
Bound Coreutils native-linear decompile summaries
0verflowme May 8, 2026
0490716
Add corpus-driven reversing benchmark harness
0verflowme May 8, 2026
7415866
Optimize build flow and pin CI radare2
0verflowme May 9, 2026
262b5b8
Stop tracking generated e2e binaries
0verflowme May 9, 2026
869007c
Fix VM routing and native worker summaries
0verflowme May 9, 2026
dae424c
Preserve type facts and bound dense summaries
0verflowme May 9, 2026
0416eb5
Implement engine-led Coreutils quality tranche
0verflowme May 12, 2026
3f1bf26
Improve coreutils semantic summary typing
0verflowme May 13, 2026
2a3e362
Move summary identity into engine planning
0verflowme May 13, 2026
ff586d4
Move decompile routing into r2engine
0verflowme May 14, 2026
e63c314
Move symbolic orchestration into r2engine
0verflowme May 14, 2026
44fd1d5
Route noisy worker summaries through r2engine
0verflowme May 14, 2026
a80fce0
Tighten summary routing for Coreutils worker quality
0verflowme May 15, 2026
5fa77cf
Eliminate focused Coreutils generic type tail
0verflowme May 15, 2026
879d70e
Make name hints non-authoritative
0verflowme May 16, 2026
cdd20ca
chore: record audit cleanup baseline
0verflowme Jun 18, 2026
ce20fe2
refactor: add rewrite guardrails and engine cache modules
0verflowme Jun 18, 2026
a5fd4d6
refactor(r2engine): extract route decision types
0verflowme Jun 18, 2026
14687bb
refactor(r2engine): move route probe policy
0verflowme Jun 18, 2026
e2a7f63
refactor(r2engine): move semantic route planning
0verflowme Jun 18, 2026
7f68787
refactor(r2ssa): route name classification through typed contract
0verflowme Jun 18, 2026
fbd6463
refactor(r2types): consume typed SSA name classification
0verflowme Jun 18, 2026
317e121
refactor(r2sym): use typed SSA classification in semantic policy
0verflowme Jun 18, 2026
6c310cd
refactor(r2dec): classify traced names through SSA kind
0verflowme Jun 18, 2026
13123d5
refactor(r2dec): share SSA base-name rendering
0verflowme Jun 18, 2026
c42235e
refactor(r2plugin): use typed SSA name filters in glue
0verflowme Jun 18, 2026
7e8a7b8
refactor(r2dec): centralize SSA storage-name filters
0verflowme Jun 18, 2026
4b335fe
refactor(r2dec): type prepared semantic storage filters
0verflowme Jun 18, 2026
d7bf82b
refactor(r2dec): type raw memory address rendering
0verflowme Jun 18, 2026
ca6cc1a
refactor(r2dec): type return carrier classification
0verflowme Jun 18, 2026
7f51031
refactor(r2dec): type temp copy root classification
0verflowme Jun 18, 2026
fe1da0d
refactor(r2dec): type semantic name filters
0verflowme Jun 18, 2026
e67e2c6
refactor(r2dec): type semantic source filters
0verflowme Jun 18, 2026
195805b
refactor(r2dec): type call-arg storage filters
0verflowme Jun 18, 2026
5b06d27
refactor(r2dec): type call-arg symbol scoring
0verflowme Jun 18, 2026
b213820
refactor(r2dec): type render storage filters
0verflowme Jun 18, 2026
a568afb
refactor(r2dec): type temporary artifact filters
0verflowme Jun 18, 2026
7392486
refactor(r2dec): type ssavar storage filters
0verflowme Jun 18, 2026
ae05bf1
refactor(r2dec): type assignment carrier classification
0verflowme Jun 18, 2026
ce9aa94
refactor(r2dec): make inlining decisions typed
0verflowme Jun 18, 2026
525a6e3
refactor(r2dec): type semantic index storage checks
0verflowme Jun 18, 2026
c6300fa
refactor(r2dec): type low signal storage names
0verflowme Jun 18, 2026
f2066a9
refactor(r2dec): type lowered alias temp filters
0verflowme Jun 18, 2026
3921b64
refactor(r2dec): simplify generated carrier names
0verflowme Jun 18, 2026
d884141
refactor(r2dec): type jump table base checks
0verflowme Jun 18, 2026
bdedba5
refactor(r2types): own callee identity classification
0verflowme Jun 18, 2026
fa5d913
refactor(r2dec): type opaque call arg names
0verflowme Jun 18, 2026
d51b2e1
refactor(r2sym): own semantic route names
0verflowme Jun 18, 2026
131178c
fix(r2dec): preserve stack slot exit returns
0verflowme Jun 18, 2026
e705170
refactor(r2ssa): classify unique storage as temporary
0verflowme Jun 18, 2026
3fd3b83
refactor(r2sym): own public solve projection
0verflowme Jun 18, 2026
6fca1ff
refactor(r2sym): own route name facts
0verflowme Jun 18, 2026
e18dc8a
refactor(r2types): own assumption payload parsing
0verflowme Jun 18, 2026
23e2fdb
refactor(r2engine): own symbolic assumption conditioning
0verflowme Jun 18, 2026
f49c1da
refactor(r2engine): own assumption cache identity
0verflowme Jun 18, 2026
41cc082
fix(r2plugin): use op source for computed data refs
0verflowme Jun 18, 2026
39d1de0
refactor(r2dec): stop public stack arg prettification
0verflowme Jun 18, 2026
7344c6a
refactor(r2ssa): expose typed call provenance certificates
0verflowme Jun 18, 2026
351c8b3
refactor(r2dec): consume typed stack call certificates
0verflowme Jun 18, 2026
df88428
refactor(r2types): own direct callee identity
0verflowme Jun 18, 2026
9670dd8
refactor(r2dec): consume typed callee identity
0verflowme Jun 18, 2026
d808c72
refactor(r2dec): consume typed signature identity
0verflowme Jun 18, 2026
6fc04b1
refactor(r2types): own type writeback mutation planning
0verflowme Jun 19, 2026
acb8722
refactor(r2types): own type writeback apply policy
0verflowme Jun 19, 2026
a6e2d7a
refactor(r2types): own writeback apply string policy
0verflowme Jun 19, 2026
386cffd
refactor(r2types): own type materialization keys
0verflowme Jun 19, 2026
c26255b
refactor(r2types): own callee scope name policy
0verflowme Jun 19, 2026
ef013e1
refactor(r2types): add callee resolution facts
0verflowme Jun 19, 2026
981c57b
refactor(r2engine): own callee resolution render inputs
0verflowme Jun 19, 2026
815bb5c
refactor(r2dec): consume typed callee resolution
0verflowme Jun 19, 2026
ff118da
refactor(r2dec): stop scanning callee facts for modeled calls
0verflowme Jun 19, 2026
e0f4d88
refactor(r2dec): prefer typed callee arity for prepared calls
0verflowme Jun 19, 2026
9a74dd7
refactor(r2dec): remove prepared call name shadow
0verflowme Jun 19, 2026
2d30471
refactor(r2dec): use callsite callee identity in fold
0verflowme Jun 19, 2026
6d62d3e
refactor(r2dec): require typed import call policy
0verflowme Jun 19, 2026
91d7252
refactor(r2dec): require typed prepared callee identity
0verflowme Jun 19, 2026
866309f
chore: checkpoint architecture purge baseline
0verflowme Jun 21, 2026
d1ebbeb
fix: reject source-expression call-result ownership
0verflowme Jun 21, 2026
027a3e3
chore: ignore mutation output directories
0verflowme Jun 21, 2026
23ae5a2
fix: gate native worker routes by evidence
0verflowme Jun 21, 2026
f55b07e
fix: require evidence for main signature canonicalization
0verflowme Jun 21, 2026
0aeb494
fix: residualize failed structuring fallback
0verflowme Jun 21, 2026
File filter

Filter by extension

Filter by extension


Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
2 changes: 1 addition & 1 deletion .cargo/config.toml
Original file line number Diff line number Diff line change
@@ -1,3 +1,3 @@
[alias]
install-plugin = "run -p r2sleigh-plugin --bin r2sleigh-plugin-install"
e2e-test = "test --manifest-path tests/e2e/Cargo.toml -- --test-threads=1 --test integration"
e2e-test = "test --manifest-path tests/e2e/Cargo.toml -- --test-threads=1"
4 changes: 4 additions & 0 deletions .gitignore
Original file line number Diff line number Diff line change
Expand Up @@ -14,20 +14,24 @@ Cargo.lock
# OS
.DS_Store
Thumbs.db
com.apple.kernel

# Generated files
*.r2il
*.dSYM/

# Plugin build artifacts
r2plugin/*.so
r2plugin/*.dylib
r2plugin/r2sleigh/*.dylib

# Debug
*.log

# Test binaries (compiled from .c files)
tests/e2e/test_func
tests/e2e/sym_test
tests/e2e/*_x86
tests/e2e/target/
r2plugin/arch_sleigh.o
r2plugin/r_anal_sleigh_arch.o
636 changes: 276 additions & 360 deletions AGENTS.md

Large diffs are not rendered by default.

Loading