Trida
Trida开发主要非分为两个阶段:Trida class和PEDA commands。
Trida Class
负责与Triton引擎的所有交互。 Trida提供以下功能,以便与GDB一起完成工作,
- 初始化Triton引擎,打开SMT优化,设置系统架构并初始化仿真器寄存器。
- 将提供的指令处理到符号执行引擎中,以生成执行路径下的依赖关系。
- 构建和解决分支约束,以获取或避免分支。
PEDA Commands
使GDB和Triton执行状态一致共存。
- 协助GDB和Triton交互
- 创建/恢复GDB和Triton快照
- 同步GDB和Triton程序状态,恢复Triton为GDB当前状态。
疑问
trace是由Triton还是GDB完成的,论文没有讲。
由于基于GDB的做法(作为GDB的一个扩展)是首创,没有对比,所以没有性能分析,只有案例分析。