技术特征：
技术总结
本发明提供一种基于隐式污点传播的漏洞分析方法，其步骤为：提取待分析程序的控制流图；计算上述控制流图中每一条指令的前后必经节点的控制依赖关系；启动上述程序并监控该程序执行的每一条指令；将监控到的该程序调用的读数据操作函数的返回值加入到污点记录中；追踪程序执行的指令，计算正向污点传播过程，直到程序出现异常或中止分析过程；如果仅有计算正向污点传播过程得到的显式污点传播路径，则从程序中存在的控制流劫持点为起点开始逆向回溯，若出现回溯中断，则采用隐式污点传播，使回溯过程能够继续进行。
技术研发人员：杨轶;苏璞睿;黄桦烽;和亮
受保护的技术使用者：中国科学院软件研究所
技术研发日：2017.06.15
技术公布日：2017.10.24