angr / claripy

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

Remove union preprocessor #515

Closed twizmwazin closed 1 week ago