triton

We have hosted the application triton in order to run this application in our online workstations with Wine or directly.

Quick description about triton:

Triton is a dynamic binary analysis library. It provides internal components that allow you to build your program analysis tools, automate reverse engineering, perform software verification or just emulate code. Linux, Windows and OS X compatible. You can directly compile source code from our Github repository. The Triton library is Linux, Windows and OS X compatible. A potential way to getting started is to see our Python examples already bootstrapped.

Features:

• Dynamic symbolic execution
• AST representation of the x86, x86-64, ARM32 and AArch64 ISA semantic
• Expressions synthesis
• Dynamic taint analysis
• Lifting to LLVM as well as Z3 and back
• SMT solver interface to Z3 and Bitwuzla

Programming Language: C++.
Categories: