[addtool] Triton
Closed this issue · 2 comments
gwen001 commented
[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 commented
Issue correctly handled, tool is waiting for human validation.
gwen001 commented
Tool has been accepted by the team: https://offsec.tools/tool/triton
Thank you for your contribution!