angr / claripy

An abstraction layer for constraint solvers.
BSD 2-Clause "Simplified" License
291 stars 94 forks source link

Minimize direct imports from claripy.ast #558

Closed twizmwazin closed 2 weeks ago