简单的活着

Trida

Posted on By Mista Cai

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的一个扩展)是首创,没有对比,所以没有性能分析,只有案例分析。