Triton - Dynamic Binary Analysis (Dba) Framework
Triton is a dynamic binary analysis (DBA) framework. It provides internal components similar a Dynamic Symbolic Execution (DSE) engine, a Taint engine, AST representations of the x86 in addition to the x86-64 instructions railroad train semantics, SMT simplification passes, an SMT Solver Interface and, the terminal simply non least, Python bindings. Based on these components, yous are able to cook program analysis tools, automate reverse engineering in addition to perform software verification. As Triton is yet a immature project, please, don't blame us if it is non yet reliable. Open issues or pull requests are e'er ameliorate than troll =). Influenza A virus subtype H5N1 amount documentation is available on our doxygen page . Quick start Description Installation Examples Presentations in addition to Publications Internal documentation Dynamic Symbolic Execution Symbolic Execution Optimizations AST Representations of Semantics SMT Semanti...