S2E选择性符号执行认领

0粉丝

S2E的全文是：Selective Symbolic Execution，即选择性符号执行。符号执行的过程可以理解为：以符号值代替程序的具体值输入，并

简介

S2E的全文是：Selective Symbolic Execution，即选择性符号执行。符号执行的过程可以理解为：以符号值代替程序的具体值输入，并且以符号操作代替程序执行过程中相应的具体操作。根据其分析范围，符号执行可分为：过程内分析和过程间分析。过程内分析只分析单个过程的代码；而过程间分析则分... 更多

其它信息

地区

不详

开发语言

C/C++

开源组织

无

所属分类

程序开发、其他开发相关

授权协议

GPL

操作系统

Linux

收录时间

2023-09-30

软件类型

开源软件

适用人群

未知

时光轴

里程碑1

LOG0

2023

2023-09

轻识收录

打卡

我要打卡

评价

0.0（满分 10 分）0 个评分

什么是点评分

图片

表情

全部评价( 0)

推荐率 100%