sysutils/triton 0.9.597_5 FreeBSD
Dynamic Binary Analysis (DBA) framework
- System
- FreeBSD
- Repository
- FreeBSD ports
- Maintainer
- [email protected]
- Last update
- Commit
896185a6d8- License
- APACHE20
- Categories
- sysutils
- Package size
- 1267.9 KiB, 11976.3 KiB installed
Description
Triton is a dynamic binary analysis (DBA) framework. It provides internal components like a Dynamic Symbolic Execution (DSE) engine, a dynamic taint engine, AST representations of the x86, x86-64 and AArch64 Instructions Set Architecture (ISA), SMT simplification passes, an SMT solver interface. Triton is mainly used to provide help during reverse-engineering.
Install
Binary package:
pkg install triton
From the ports tree:
cd /usr/ports/sysutils/triton/ && make install clean
To depend on this port in another port's Makefile:
RUN_DEPENDS= triton>0:sysutils/triton
LIB_DEPENDS= libtriton.so:sysutils/triton
Packages
The version each package repository carries. “-” means the repository builds no package of it, “n/a” that there is no such repository.
| Repository | aarch64 | amd64 | armv6 | armv7 | i386 |
|---|---|---|---|---|---|
| FreeBSD:14:latest | 0.9.597_4 | 0.9.597_4 | - | - | - |
| FreeBSD:14:quarterly | 0.9.597_4 | 0.9.597_4 | n/a | - | - |
| FreeBSD:15:latest | 0.9.597_4 | 0.9.597_5 | n/a | - | - |
| FreeBSD:15:quarterly | 0.9.597_4 | 0.9.597_4 | n/a | n/a | n/a |
| FreeBSD:16:latest | 0.9.597_4 | 0.9.597_5 | n/a | n/a | n/a |
| FreeBSD:16:quarterly | n/a | n/a | n/a | n/a | n/a |
Dependencies
As this port's Makefile names them.
Build 1
boost-libs>0: devel/boost-libs
Library 2
libcapstone.so: devel/capstone4libz3.so: math/z3
The full lists below include those, and their dependencies in turn.
Build dependencies 21
Run dependencies 9
No port depends on this one.
Configuration
Options name: sysutils_triton
| Option | Default | Description |
|---|---|---|
| PYTHON | on | Python bindings or support |
- USES
- cmake:testing compiler:c++17-lang shebangfix
- Service scripts
- none
Files
pkg-plist 84
- include/triton/aarch64.spec
- include/triton/aarch64Cpu.hpp
- include/triton/aarch64Semantics.hpp
- include/triton/aarch64Specifications.hpp
- include/triton/archEnums.hpp
- include/triton/architecture.hpp
- include/triton/arm32.spec
- include/triton/arm32Cpu.hpp
- include/triton/arm32Semantics.hpp
- include/triton/arm32Specifications.hpp
- include/triton/armOperandProperties.hpp
- include/triton/ast.hpp
- include/triton/astContext.hpp
- include/triton/astEnums.hpp
- include/triton/astPcodeRepresentation.hpp
- include/triton/astPythonRepresentation.hpp
- include/triton/astRepresentation.hpp
- include/triton/astRepresentationInterface.hpp
- include/triton/astSmtRepresentation.hpp
- include/triton/basicBlock.hpp
- include/triton/bitsVector.hpp
- include/triton/bitwuzlaSolver.hpp
- include/triton/callbacks.hpp
- include/triton/callbacksEnums.hpp
- include/triton/comparableFunctor.hpp
- include/triton/config.hpp
- include/triton/context.hpp
- include/triton/coreUtils.hpp
- include/triton/cpuInterface.hpp
- include/triton/cpuSize.hpp
- include/triton/dllexport.hpp
- include/triton/exceptions.hpp
- include/triton/externalLibs.hpp
- include/triton/immediate.hpp
- include/triton/instruction.hpp
- include/triton/irBuilder.hpp
- include/triton/liftingEngine.hpp
- include/triton/liftingToDot.hpp
- include/triton/liftingToLLVM.hpp
- include/triton/liftingToPython.hpp
- include/triton/liftingToSMT.hpp
- include/triton/llvmToTriton.hpp
- include/triton/memoryAccess.hpp
- include/triton/modes.hpp
- include/triton/modesEnums.hpp
- include/triton/operandWrapper.hpp
- include/triton/oracleEntry.hpp
- include/triton/pathConstraint.hpp
- include/triton/pathManager.hpp
- include/triton/register.hpp
- include/triton/semanticsInterface.hpp
- include/triton/shortcutRegister.hpp
- include/triton/solverEngine.hpp
- include/triton/solverEnums.hpp
- include/triton/solverInterface.hpp
- include/triton/solverModel.hpp
- include/triton/stubs.hpp
- include/triton/symbolicEngine.hpp
- include/triton/symbolicEnums.hpp
- include/triton/symbolicExpression.hpp
- include/triton/symbolicSimplification.hpp
- include/triton/symbolicVariable.hpp
- include/triton/synthesisResult.hpp
- include/triton/synthesizer.hpp
- include/triton/taintEngine.hpp
- include/triton/tritonToBitwuzla.hpp
- include/triton/tritonToLLVM.hpp
- include/triton/tritonToZ3.hpp
- include/triton/tritonTypes.hpp
- include/triton/uintwide_t.h
- include/triton/version.hpp
- include/triton/x86.spec
- include/triton/x8664Cpu.hpp
- include/triton/x86Cpu.hpp
- include/triton/x86Semantics.hpp
- include/triton/x86Specifications.hpp
- include/triton/z3Solver.hpp
- include/triton/z3ToTriton.hpp
- lib/cmake/triton/tritonConfig.cmake
- lib/cmake/triton/tritonConfigVersion.cmake
- lib/cmake/triton/tritonTargets-.cmake
- lib/cmake/triton/tritonTargets.cmake
- lib/libtriton.so
- %%PYTHON_SITELIBDIR%%/triton.so
distinfo 1
| File | Size | SHA256 |
|---|---|---|
| JonathanSalwan-Triton-v0.9-597-gafb28564_GH0.tar.gz | 4.0696298e+07 | 6f058ce6be7c54d9a6ad51b13af3e040000336e66571492500db16c097877d80 |
Commit history 4
| Date | Commit | Credits | Log message |
|---|---|---|---|
896185a6d8 |
Älven | math/z3: Update 5.1.0.0 => 5.3.1.0 Approved by: arrowd@ (maintainer)
Differential Revision: https://reviews.freebsd.org/D60825 |
|
c3ee0d25f0 |
Älven | math/z3: Update 5.0.0.0 => 5.1.0.0 Approved by: arrowd@ (maintainer)
Approved by: db@, yuri@ (Mentors, implicit)
Differential Revision: https://reviews.freebsd.org/D58886 |
|
4316dc94a8 |
Piotr Kubaj | sysutils/triton: fix build on armv7 / powerpc* Instead of checking the list of specific architectures,
just check UINTPTR_MAX. |
|
dfa5362257 |
Yuri Victorovich | math/z3: update 4.16.0.0 → 5.0.0.0 PR: 297106
Approved by: Gleb Popov <[email protected]> (maintainer) |