mirror of
https://github.com/JonathanSalwan/Triton
synced 2026-06-21 13:43:30 +00:00
Christian Heitman
22 lines
1.2 KiB
JSON
22 lines
1.2 KiB
JSON
{
|
|
"$schema": "https://raw.githubusercontent.com/microsoft/vcpkg/master/scripts/vcpkg.schema.json",
|
|
"name": "triton",
|
|
"version": "1.0",
|
|
"description": "Triton is a dynamic binary analysis library. It provides internal components like a dynamic symbolic execution engine, a dynamic taint analysis engine, AST representation of the x86, x86-64, ARM32 and AArch64 ISA semantic, an expressions synthesis engine, some SMT simplification passes, SMT solver interface to Z3 and Bitwuzla and, the last but not least, Python bindings. Based on these components, you are able to build your program analysis tools, automate reverse engineering, perform software verification or just emulate code.",
|
|
"homepage": "https://github.com/JonathanSalwan/Triton",
|
|
"license": "Apache-2.0",
|
|
"supports": "!arm",
|
|
"builtin-baseline": "ef7dbf94b9198bc58f45951adcf1f041fcbc5ea0",
|
|
"dependencies": [
|
|
"boost-math",
|
|
"boost-multiprecision",
|
|
"boost-numeric-conversion",
|
|
{ "name": "capstone", "default-features": false, "features": ["arm", "arm64", "riscv", "x86"] },
|
|
"z3"
|
|
],
|
|
"overrides": [
|
|
{ "name":"capstone", "version-semver":"5.0.7" },
|
|
{ "name": "z3", "version": "4.16.0" }
|
|
]
|
|
}
|