On the recordRead 9 Oct 202623 facts
Triton
On the record
- APIs
- The library is developed in C++ and provides C++ and Python APIs, including Python bindings.triton-library.github.io · read 8 Oct 2026
- Availability
- Triton is open source, and its source code can be compiled from the GitHub repository.triton-library.github.io · read 8 Oct 2026
- Examples
- The project links to bootstrapped Python examples for getting started.triton-library.github.io · read 8 Oct 2026
- Expression and solver features
- The listed capabilities include expression synthesis, SMT simplification, lifting to LLVM and Z3, and solver interfaces for Z3 and Bitwuzla.triton-library.github.io · read 9 Oct 2026
- Installation
- The repository documents installation with pip using the package name triton-library, from source, and through vcpkg.github.com · read 9 Oct 2026
- Instruction sets
- Its AST represents instruction semantics for x86, x86-64, ARM32, AArch64, and RISC-V 32/64.triton-library.github.io · read 8 Oct 2026
- Integrations and examples
- The site lists tools using Triton including Ponce, QSynthesis, Pimp, Exrop, TritonDSE, and Titan.triton-library.github.io · read 9 Oct 2026
- 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.triton-library.github.io · read 9 Oct 2026
- License
- The project’s GitHub repository identifies its license as Apache-2.0.github.com · read 9 Oct 2026
- Optional dependencies
- The source build lists Boost, Python, Z3, Bitwuzla, and LLVM as optional dependencies, and Capstone as a dependency.github.com · read 9 Oct 2026
- Other analysis features
- Features include expression synthesis, SMT simplification passes, and lifting to LLVM and Z3 and back.triton-library.github.io · read 8 Oct 2026
- Platform support
- The official site describes Triton as compatible with Linux, Windows, and OS X.triton-library.github.io · read 9 Oct 2026
- Programming interfaces
- Triton is developed in C++ and provides both C++ and Python APIs, including Python bindings.triton-library.github.io · read 9 Oct 2026
- 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.github.com · read 9 Oct 2026
- Purpose
- Triton is a dynamic binary analysis library for building program analysis tools, automating reverse engineering, software verification, and code emulation.triton-library.github.io · read 9 Oct 2026
- Related tools
- The site lists Ponce, QSynthesis, Pimp, Exrop, TritonDSE, and Titan as tools and libraries that use Triton.triton-library.github.io · read 8 Oct 2026
- Solver configuration
- The installation documentation says LLVM and Bitwuzla are not compiled by default and provides CMake options to enable their interfaces.github.com · read 9 Oct 2026
- Solver support
- Triton provides an SMT solver interface to Z3 and Bitwuzla.triton-library.github.io · read 8 Oct 2026
