12 packages found. Page 1 of 1.

Name Version Votes Popularity? Description Maintainer
python-z3-solver-angr 4.5.1.0.post2-1 0 0.00 A high-performance theorem prover from Microsoft Research, for use with the angr binary analysis platform lockshaw
python-pyvex-git 8.19.2.4.r734.050ffe4-1 0 0.00 Python bindings for Valgrind's VEX IR lockshaw
python-mulpyplexer-git 0.08.r23.98515f1-1 0 0.00 Multiplexes interactions with lists of python objects lockshaw
python-itanium_demangler-git 1.0.r8.29c7786-1 0 0.00 A python project to provide easy distributed data storage lockshaw
python-idalink-git 0.12.r82.cf68144-1 0 0.00 Remote use of the IDA (the Interactive DisAssembler) Python API lockshaw
python-cooldict-git 1.04.r58.e85d9db-1 0 0.00 Some useful dict-like structures lockshaw
python-cle-git 8.19.2.4.r734.050ffe4-1 0 0.00 A binary loader in python lockshaw
python-claripy-git 8.19.2.4.r734.050ffe4-1 0 0.00 An abstraction layer for constraint solvers. lockshaw
python-archinfo-git 8.18.10.25.r308.d3eb03b-1 0 0.00 Architecture-information specific details for the angr project lockshaw
python-angr-git 8.18.10.25.r9156.a67010c8-1 1 0.88 A powerful and user-friendly binary analysis platform lockshaw
python-ana-git 0.05.r54.48657dc-1 0 0.00 A python project to provide easy distributed data storage lockshaw
python-ailment-git 8.19.2.4.r85.bea5c50-1 0 0.00 The angr intermediate language lockshaw

12 packages found. Page 1 of 1.