简介
S2E的全文是：Selective Symbolic Execution，即选择性符号执行。符号执行的过程可以理解为：以符号值代替程序的具体值输入，并且以符号操作代替程序执行过程中相应的具体操作。根据其分析范围，符号执行可分为：过程内分析和过程间分析。过程内分析只分析单个过程的代码；而过程间分析则分... 更多
其它信息
地区
不详
开发语言
C/C++
开源组织
无
所属分类
程序开发、 其他开发相关
授权协议
GPL
操作系统
Linux
收录时间
2023-09-30
软件类型
开源软件
适用人群
未知
时光轴
里程碑1
LOG0
2023
2023-09
轻识收录
评价
0.0（满分 10 分）0 个评分
什么是点评分
全部评价(
0)
推荐率
100%
推荐