1、轨迹文件提交给分析程序,分析程序会返回一个结构bap_block_s,弄清楚这个结构对了解程序的转换有着重要的作用,现在总结如下。

struct bap_block_s
  {
    bfd_vma         inst;  //存放指令在内存中的地址
    IRSB            *vex_ir;
    struct vector_Stmt  *bap_ir;
  };

这个结构中包含着三部分,每个部分均不是常用变量,现在研究三个自定义bfd_vma、IRSB、vector_Stmt2、bfd_vma。原始指令。

3、IRSB 。VEX状态的指令。存

放VEX中间状态时的指令块。

4、vector_Stmt 。Vine状态的指令块。