一种基于中间语言分析的软件脆弱性测试方法

摘要

本发明为一种基于中间语言分析的软件脆弱性测试方法，首先采用基于动态二进制插桩方法将程序执行中的上下文信息记录到trace文件中；其次对程序trace进行离线分析，顺次读取每一条指令，并将上下文信息保存到对应数据结构中，将指令机器码转换为中间语言表示；然后针对中间语言进行污点分析，通过分析中间语句，通过判断语句和源操作数类型，判定操作是否会引起污点传播；约束条件收集，基于上述中间语言分析，依据路径搜索策略对布尔方程进行变换，通过约束求解，得到各个路径对应输入值。本发明测试对象的运行平台即可以为PC或服务器，也可以为嵌入式系统。