???

http://angr.io/

angr is a framework for analyzing binaries. It focuses on both static and dynamic symbolic ("concolic") analysis, making it applicable to a variety of tasks

???

???

Carl Pulley

https://bitbucket.org/carlpulley/libbap

BAP

Volatility/python interface to the Binary Analysis Platform (BAP) OCaml commands.

???

???

Roberto Paleari (@rpaleari)

Lorenzo Martignoni (@martignlo)

http://roberto.greyhats.it/projects.html

PyEA (Python Executable Analyser) is a hybrid static/dynamic code analyser written in Python. The analyser was originally developed to statically analyse IA-32 malicious programs, but has soon evolved into a generic analyser for compiled programs. PyEA currently supports PE and ELF executables, disassembles executables using a recursive disassembler, and translates each machine instruction into an intermediate form, that makes side effects explicit.

???

???

angr

https://github.com/angr/simuvex

SimuVEX is a simulation engine for VEX IR. Given VEX IRSBs and an initial state (memory and registers), it can carry out static, dynamic, or symbolic analyses.

Angr

???

Viper

https://github.com/viper-framework/viper

Viper is a binary analysis and management framework. Its fundamental objective is to provide a solution to easily organize your collection of malware and exploit samples as well as your collection of scripts you created or found over the time to facilitate your daily research.

???

???