Skip to main content
Avatar for rhelmot from gravatar.com

  rhelmot

  Joined on Sep 11, 2015

21 projects

archinfo

Last released on Jul 2, 2018

pyvex

Last released on Jul 2, 2018

A Python interface to libVEX and VEX IR

cle

Last released on Jul 2, 2018

CLE Loads Everything (at least, many binary formats!) and provides a pythonic interface to analyze what they are and what they would look like in memory.

angr

Last released on Jul 2, 2018

A multi-architecture binary analysis toolkit, with the ability to perform dynamic symbolic execution and various static analyses on binaries

angr-management

Last released on Jul 2, 2018

GUI for angr

claripy

Last released on Jun 17, 2018

An abstraction layer for constraint solvers

nclib

Last released on Apr 19, 2018

Netcat as a library: convienent socket interfaces

monkeyhex

Last released on Mar 28, 2018

Monkeypatch the python interpreter and debugger to print integer results in hex

dive

Last released on Mar 28, 2018

A tool for interactively traversing the python heap to find memory leaks

ana

Last released on Mar 27, 2018

angrop

Last released on Sep 21, 2017

The rop chain builder based off of angr

simuvex

Last released on Sep 9, 2017

A compatibility layer for simuvex's removal.

mulpyplexer

Last released on Aug 10, 2017

A module that multiplexes interactions with lists of python objects.

z3-solver

Last released on Jun 8, 2017

an efficient SMT solver library

unicorn

Last released on May 31, 2017

Unicorn CPU emulator engine

capstone

Last released on Mar 4, 2017

Capstone disassembly engine

shellphish-qemu

Last released on Jan 23, 2017

A pip-installable set of qemus.

angr-only-z3-custom

Last released on Oct 12, 2016

installation stub for z3-solver

sound-machine

Last released on Jun 3, 2016

Sound and music synthesis library in pure python

cooldict

Last released on Dec 29, 2015

Some useful dict-like structures

idalink

Last released on Aug 11, 2015

An interface to the insides of IDA!

Supported by

Elastic Elastic Search Pingdom Pingdom Monitoring Google Google BigQuery Sentry Sentry Error logging CloudAMQP CloudAMQP RabbitMQ AWS AWS Cloud computing DataDog DataDog Monitoring Fastly Fastly CDN DigiCert DigiCert EV certificate StatusPage StatusPage Status page