Open source binary analysis tools.

A library for binary analysis and rewriting

Stratified synthesis for learning machine code instruction semantics

The elf-edit library provides a datatype suitable for reading and writing Elf files.