Triton是一个动态二进制分析库,提供内部组件,允许您构建程序分析工具、自动执行逆向工程、执行软件验证或仅模拟代码。
- 动态符号执行
- 动态污点分析
- x86、x86-64、ARM32、AArch64和RISC-V 32/64 ISA 语义的AST 表示
- 表情合成
- SMT 简化通行证
- 升级至LLVM以及Z3并返回
- SMT 求解器接口至Z3和Bitwuzla
- C++和Python API
Triton是一个动态二进制分析库,提供内部组件,允许您构建程序分析工具、自动执行逆向工程、执行软件验证或仅模拟代码。