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状态的指令块。