https://github.com/BinaryAnalysisPlatform

https://github.com/BinaryAnalysisPlatform/bap

BAP

BAP is a platform for binary analysis. It is written in OCaml, but can be used from other languages. After BAP and python bindings are properly installed.

QIRA

???

David Beazley (@dabeaz)

https://github.com/dabeaz/bitey

LLVM

Import LLVM bitcode directly into Python and use it as an extension module.

???

???

???

http://www.llvmpy.org/

LLVM

llvmpy is a Python wrapper around the llvm C++ library which allows simple access to compiler tools. It can be used for a lot of things, but here are some ideas:
- dynamically create LLVM IR for linking with LLVM IR produced by CLANG or dragonegg
- build machine code dynamically using LLVM execution engine
- use together with PLY or other tokenizer and parser to write a complete compiler in Python

Bitey

???

Serpilliere (serpilliere@droids-corp.org)

https://github.com/cea-sec/miasm

Miasm is a a free and open source reverse engineering framework. Miasm aims at analyzing/modifying/generating binary programs. Miasm embed its own disassembler, intermediate language and instruction semantic. To emulate code, it uses libtcc to jit C code generate from intermediate representation. It can emulate shellcodes, parts of binaries. Python callback can be executed to emulate library functions.

smiasm
depgraph
symbol_exec
Sibyl

Miasm (incomprehensible documentation)
Rebuilding a cleaned & working binary (Re150 part 2)
Dynamic shellcode analysis

Dmytro Oleksiuk

https://github.com/Cr4sh/openreil

OpenREIL

OpenREIL is open source library that implements translator and tools for REIL (Reverse Engineering Intermediate Language).
pyopenreil − OpenREIL Python API.

???

Automated algebraic cryptanalysis with OpenREIL and Z3

zardus

https://github.com/zardus/pyvex

Valgrind

Python bindings for Valgrind's VEX IR.

Angr
rop_compiler

???