公开(公告)号：CN103870391A

公开(公告)日：2014-06-18

申请号：CN201410055286.3

申请日：2014-02-18

Applicant: 南京大学

Inventor： 李游 ,  王林章 ,  李宣东 ,  陈志

IPC: G06F11/36

Abstract: 本发明提出一种基于路径片段频谱的符号执行搜索方法，该方法引入路径片段频谱的概念，不同的路径片段频谱从各个角度分析程序执行的行为，以获得不同层次的程序行为分析，构成程序行为的框架。该方法通过对符号执行过程中的程序路径频谱数据进行分析，指导符号执行探索当前状态下程序中探索较少的部分，以获得更高的程序覆盖度和更好的查错能力。本发明可以集成在各种符号执行工具中，通过调整路径片段的长度来指导符号执行以不同精度探索程序的状态空间。

公开(公告)号：CN103870391B

公开(公告)日：2016-05-11

申请号：CN201410055286.3

申请日：2014-02-18

Applicant: 南京大学

Inventor： 李游 ,  王林章 ,  李宣东 ,  陈志

IPC: G06F11/36

Abstract: 本发明提出一种基于路径片段频谱的符号执行搜索方法，该方法引入路径片段频谱的概念，不同的路径片段频谱从各个角度分析程序执行的行为，以获得不同层次的程序行为分析，构成程序行为的框架。该方法通过对符号执行过程中的程序路径频谱数据进行分析，指导符号执行探索当前状态下程序中探索较少的部分，以获得更高的程序覆盖度和更好的查错能力。本发明可以集成在各种符号执行工具中，通过调整路径片段的长度来指导符号执行以不同精度探索程序的状态空间。