[addtool] Triton

[gwen001]

[tags]binaries,reverse-engineering[/tags] [short_descr]A dynamic binary analysis library.[/short_descr] [link] https://triton-library.github.io [/link] [link] https://github.com/JonathanSalwan/Triton [/link] [long_descr] It provides internal components that allow you to build your program analysis tools, automate reverse engineering, perform software verification or just emulate code.

• Dynamic symbolic execution
• Dynamic taint analysis
• AST representation of the x86, x86-64, ARM32 and AArch64 ISA semantic
• Expressions synthesis
• SMT simplification passes
• Lifting to LLVM as well as Z3 and back
• SMT solver interface to Z3 and Bitwuzla
• C++ and Python API [/long_descr] [image] https://raw.githubusercontent.com/gwen001/offsectools_www/main/tmp/974459ae95051101523711256ae25497.png [/image]

[gwen001]

Issue correctly handled, tool is waiting for human validation.