rhelmot
21 Projects
angr
A multi-architecture binary analysis toolkit, with the ability to perform dynamic symbolic execution and various static analyses on binaries
angr-management
GUI for angr
angr-only-z3-custom
installation stub for z3-solver
angrop
The rop chain builder based off of angr
capstone
Capstone disassembly engine
claripy
An abstraction layer for constraint solvers
cle
CLE Loads Everything (at least, may binary formats!) and provides a Pythonic interface to analyze what they are and what they would look like in memory.
cooldict
Some useful dict-like structures
dive
A tool for interactively traversing the python heap to find memory leaks
idalink
An interface to the insides of IDA!
monkeyhex
Monkeypatch the python interpreter and debugger to print integer results in hex
mulpyplexer
A module that multiplexes interactions with lists of python objects.
nclib
Netcat as a library: convienent socket interfaces
pyvex
A Python interface to libVEX and VEX IR
shellphish-qemu
A pip-installable set of qemus.
simuvex
A compatibility layer for simuvex's removal.
sound-machine
Sound and music synthesis library in pure python
unicorn
Unicorn CPU emulator engine
z3-solver
an efficient SMT solver library
