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
License
Apache License V2.0Follow Triton
Other Useful Business Software
Find Hidden Risks in Windows Task Scheduler
Windows Task Scheduler might be hiding critical failures. Download the free JAMS diagnostic tool to uncover problems before they impact production—get a color-coded risk report with clear remediation steps in minutes.
Rate This Project
Login To Rate This Project
User Reviews
Be the first to post a review of Triton!