论文部分内容阅读
人工方式验证包含大量误报的软件疑似缺陷集,耗时费力,难以发现真实的缺陷。本文提出一种基于有限回溯符号执行的软件疑似缺陷自动验证方法。该方法首先查找可能的触发软件缺陷的执行路径片段,然后对其进行符号执行获得路径条件,最后结合路径条件和缺陷触发条件以进行缺陷自动验证。通过对oenssl程序的初步测试,验证了方法的有效性。