《表3 符号执行相关知识与技术》

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

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

《知识、探索与状态平面组织的软件漏洞分析架构研究》

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

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

符号执行对所指定的代码区域或路径开展符号化约束分析，获取输入或变量取值与具体路径间的关联。本文在表3中列举符号执行相关工作，区分其中的知识部分（对应知识平面）和技术部分（对应探索平面），并总结两者间的接口。同时，因分析工具可能涉及到多项技术和知识交互，故在表中区分符号执行具体技术和工具。