Triton(动态二进制分析库)

https://github.com/jonathansalwan/Triton

Triton是一个动态二进制分析库，提供内部组件，允许您构建程序分析工具、自动执行逆向工程、执行软件验证或仅模拟代码。

• 动态符号执行
• 动态污点分析
• x86、x86-64、ARM32、AArch64和RISC-V 32/64ISA 语义的AST 表示
• 表情合成
• SMT 简化通行证
• 升级至LLVM以及Z3并返回
• SMT 求解器接口至Z3和Bitwuzla
• C++和Python API