- 授权协议: 未知
- 开发语言: C/C++
- 操作系统: Linux
- 软件首页: http://s2e.epfl.ch/
- 软件文档: https://dslabredmine.epfl.ch/embedded/s2e/index.html
软件介绍
S2E的全文是：Selective Symbolic Execution，即选择性符号执行。
符号执行的过程可以理解为：以符号值代替程序的具体值输入，并且以符号操作代替程序执行过程中相应的具体操作。根据其分析范围，符号执行可分为：过程内分析和过程间分析。过程内分析只分析单个过程的代码；而过程间分析则分析整个软件代码的上下文敏感信息，包括：当前函数的入口点、函数之间的调用信息以及环境信息等等。选择性符号执行是在符号执行的基础上添加约束条件，对测试人员感兴趣的执行路径进行选择，目的是降低分析的开销，提高分析的效率。
与机器赛跑
[美]埃里克·布林约尔松（Erik Brynjolfsson）、[美]安德鲁·麦卡菲（Andrew McAfee） / 闾佳 / 2013-1-20 / 6.00
一场数字革命正在加速进行。 一些科幻小说里的场景已经在现实中发生：无人驾驶汽车开上了公路；智能设备能高效地翻译人类语言；人工智能系统在智力竞赛里击败了所有人类选手；工厂雇主开始购买更多的新机器，却不招新工人…… 这些例子都证明，数字技术正在快速地掌握原本只属于人类的技能，并深刻地影响了经济。虽然大多数影响是积极的：数字革新将提高效率、降低商品价格（甚至到免费），以及增加经济总量。 ......一起来看看 《与机器赛跑》 这本书的介绍吧!
