《表3 VEX的常见指令及其表达式形式》

  提示：宽带有限、当前游客访问压缩模式

本系列图表出处文件名：随高清版一同展现

《一种基于表达式树的gadget语义分析技术》

1. 获取 高清版本忘记账户？点击这里登录

1. 下载图表忘记账户？点击这里登录

与传统的表达式树相同，本文表达式树能够通过访问叶节点来确定表达式的操作数，进而得到gadget的副作用信息，获取表达式所依赖的寄存器或内存空间。与传统表达式树的不同之处在于，该表达式树维护了表达式对应的目标变量，并能通过Expr节点方便地提取某个中间变量对应的表达式值，这为获取部分变量的约束提供了便利。特别地，当gadget的长度较长时，构造的表达式树深度也会增加，在极端情况下会近似成为一条链表，这时确定依赖寄存器的效率会大幅降低。为了能够快速得到依赖寄存器的信息，本文采用以空间换时间的思路，在将IR指令转化成表达式树的过程中，为每一个Expr节点维护依赖寄存器的信息。