- 授权协议: 未知
- 开发语言: C/C++
- 操作系统: Linux
- 软件首页: http://s2e.epfl.ch/
- 软件文档: https://dslabredmine.epfl.ch/embedded/s2e/index.html
软件介绍
S2E的全文是:Selective Symbolic Execution,即选择性符号执行。
符号执行的过程可以理解为:以符号值代替程序的具体值输入,并且以符号操作代替程序执行过程中相应的具体操作。根据其分析范围,符号执行可分为:过程内分析和过程间分析。过程内分析只分析单个过程的代码;而过程间分析则分析整个软件代码的上下文敏感信息,包括:当前函数的入口点、函数之间的调用信息以及环境信息等等。选择性符号执行是在符号执行的基础上添加约束条件,对测试人员感兴趣的执行路径进行选择,目的是降低分析的开销,提高分析的效率。
Game Programming Patterns
Robert Nystrom / Genever Benning / 2014-11-2 / USD 39.95
The biggest challenge facing many game programmers is completing their game. Most game projects fizzle out, overwhelmed by the complexity of their own code. Game Programming Patterns tackles that exac......一起来看看 《Game Programming Patterns》 这本书的介绍吧!
