Category listing - devel/angr

py-ailment angr intermediate language
py-angr multi-architecture binary analysis toolkit
py-archinfo classes with architecture-specific information
py-claripy abstraction layer for constraint solvers
py-cle CLE loads binaries and their associated libraries
py-pyvex Python interface to libVEX and VEX IR
py-z3-solver efficient SMT solver library (angr fork)