当前位置:  软件>C/C++软件

选择性符号执行 S2E

    来源:    发布时间:2014-12-15

    本文导语:  S2E的全文是:Selective Symbolic Execution,即选择性符号执行。符号执行的过程可以理解为:以符号值代替程序的具体值输入,并且以符号操作代替程序执行过程中相应的具体操作。根据其分析范围,符号执行可分为:过程内分析和...

S2E的全文是:Selective Symbolic Execution,即选择性符号执行。

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


    
 
 

您可能感兴趣的文章:

 
本站(WWW.)旨在分享和传播互联网科技相关的资讯和技术,将尽最大努力为读者提供更好的信息聚合和浏览方式。
本站(WWW.)站内文章除注明原创外,均为转载、整理或搜集自网络。欢迎任何形式的转载,转载请注明出处。












  • 相关文章推荐
  • 关于FAT32的选择性初始化备份
  • 请教:linux下如何进行文件和目录选择性copy
  • jquery实现人性化的有选择性禁用鼠标右键
  • GridView选择性导出Excel解决方案


  • 站内导航:


    特别声明:169IT网站部分信息来自互联网,如果侵犯您的权利,请及时告知,本站将立即删除!

    ©2012-2021,,E-mail:www_#163.com(请将#改为@)

    浙ICP备11055608号-3