Triton is a dynamic binary analysis (DBA) framework. It provides internal components like a Dynamic Symbolic Execution (DSE) engine, a dynamic taint engine, AST representations of the x86, x86-64, ARM32 and AArch64 Instructions Set Architecture (ISA), SMT simplification passes, an SMT solver interface and, the last but not least, Python bindings. Based on these components, you are able to build program analysis tools, automate reverse engineering and perform software verification. http://triton.quarkslab.com https://github.com/Jonathansalwan/triton Latest release is 0.8: https://github.com/JonathanSalwan/Triton/releases/tag/v0.8 Some distributions already packaged it: https://repology.org/projects/triton/versions