Triton

Spec sheet

Purpose

Triton is a dynamic binary analysis library for building program analysis tools, automating reverse engineering, software verification, and code emulation.Read 9 Oct 2026 · triton-library.github.io

License

The project’s GitHub repository identifies its license as Apache-2.0.Read 9 Oct 2026 · github.com

APIs

The library is developed in C++ and provides C++ and Python APIs, including Python bindings.Read 8 Oct 2026 · triton-library.github.io

Availability

Triton is open source, and its source code can be compiled from the GitHub repository.Read 8 Oct 2026 · triton-library.github.io

Examples

The project links to bootstrapped Python examples for getting started.Read 8 Oct 2026 · triton-library.github.io

Expression and solver features

The listed capabilities include expression synthesis, SMT simplification, lifting to LLVM and Z3, and solver interfaces for Z3 and Bitwuzla.Read 9 Oct 2026 · triton-library.github.io

Installation

The repository documents installation with pip using the package name triton-library, from source, and through vcpkg.Read 9 Oct 2026 · github.com

Instruction sets

Its AST represents instruction semantics for x86, x86-64, ARM32, AArch64, and RISC-V 32/64.Read 8 Oct 2026 · triton-library.github.io

Integrations and examples

The site lists tools using Triton including Ponce, QSynthesis, Pimp, Exrop, TritonDSE, and Titan.Read 9 Oct 2026 · triton-library.github.io

Intended use

The site presents Triton for program analysis, reverse engineering, software verification, and emulation; listed projects include tools for deobfuscation and ROP chain generation.Read 9 Oct 2026 · triton-library.github.io

Optional dependencies

The source build lists Boost, Python, Z3, Bitwuzla, and LLVM as optional dependencies, and Capstone as a dependency.Read 9 Oct 2026 · github.com

Other analysis features

Features include expression synthesis, SMT simplification passes, and lifting to LLVM and Z3 and back.Read 8 Oct 2026 · triton-library.github.io

Platform support

The official site describes Triton as compatible with Linux, Windows, and OS X.Read 9 Oct 2026 · triton-library.github.io

Programming interfaces

Triton is developed in C++ and provides both C++ and Python APIs, including Python bindings.Read 9 Oct 2026 · triton-library.github.io

Project caveat

The repository describes Triton as a part-time project and asks users to report issues or contribute pull requests if it is not fully reliable.Read 9 Oct 2026 · github.com

Related tools

The site lists Ponce, QSynthesis, Pimp, Exrop, TritonDSE, and Titan as tools and libraries that use Triton.Read 8 Oct 2026 · triton-library.github.io

Solver configuration

The installation documentation says LLVM and Bitwuzla are not compiled by default and provides CMake options to enable their interfaces.Read 9 Oct 2026 · github.com

Solver support

Triton provides an SMT solver interface to Z3 and Bitwuzla.Read 8 Oct 2026 · triton-library.github.io

Supported instruction architectures

Its AST represents instruction semantics for x86, x86-64, ARM32, AArch64, and RISC-V 32/64.Read 9 Oct 2026 · triton-library.github.io

Supported operating systems

The library is compatible with Linux, Windows, and OS X.Read 8 Oct 2026 · triton-library.github.io

Symbolic execution

Triton provides dynamic symbolic execution and dynamic taint analysis.Read 9 Oct 2026 · triton-library.github.io

Taint analysis

The library provides dynamic taint analysis.Read 8 Oct 2026 · triton-library.github.io

Windows installation note

The repository says precompiled Windows artifacts are available through AppVeyor and may require Visual C++ Redistributable packages for Visual Studio 2012.Read 9 Oct 2026 · github.com

Where Specifiction places it

• Reverse Engineering Tools#44 of 737.0