选择性符号执行S2E.zip

S2E的全文是:Selective Symbolic Execution,即选择性符号执行。符号执行的过程可以理解为:以符号值代替程序的具体值输入,并且以符号操作代替程序执行过程中相应的具体操作。根据其分析范围,符号执行可分为:过程内分析和过程间分析。过程内分析只分析单个过程的代码;而过程间分析则分析整个软件代码的上下文敏感信息,包括:当前函数的入口点、函数之间的调用信息以及环境信息等等。选择性符号执行是在符号执行的基础上添加约束条件,对测试人员感兴趣的执行路径进行选择,目的是降低分析的开销,提高分析的效率。