Import claripy through the angr package - #123

Open

twizmwazin wants to merge 7 commits into

migrate/angr-claripy-import

Commits on Jul 8, 2026

Import claripy through the angr package

twizmwazin
and
claude
committed
09a5b98
Adapt to clarirs' claripy API

twizmwazin
and
claude
committed
d07b5e1
Reference the claripy annotation base via attribute access

twizmwazin
and
claude
committed
4dddf55
Drop the claripy-internal solver result-cache reset

twizmwazin
and
claude
committed
59d02d3

Commits on Jul 9, 2026

Create the rop cache directory when saving

twizmwazin
and
claude
committed
b03f02f
Replace claripy composite-solver internals with clarirs equivalents

twizmwazin
and
claude
committed
00058d2

Commits on Jul 13, 2026

Dump CGC formulas via the solver's to_smt2()

twizmwazin
and
claude
committed
ebdb184