符号执行简介

Name: 符号执行简介
Rating: 4.5 (47 reviews)
Author: threedayscn717

上传者：threedayscn717 2020-09-24 05:16:41上传 PPTX文件 288.97KB 热度 47次

对符号执行技术及其相关工具KLEE的简介

下载地址

用户评论

更多下载

下载地址

立即下载

用户评论

: 码姐姐匿名网友 2020-09-24 05:16:41

囧，没注意是PPT…

符号执行简介

对符号执行技术及其相关工具KLEE的简介

大小：289KB | 2020-09-24 05:16:41
manticore符号执行工具源码

Manticore Manticore是用于分析智能合约和二进制文件的符号执行工具。产品特点程序...

大小：7.85MB | 2021-02-07 18:27:56
klee KLEE符号执行引擎.zip

klee, KLEE符号执行引擎 KLEE符号虚拟机 KLEE 是构建在LLVM编译器基础之上的一个...

大小：1.26MB | 2021-01-17 04:21:06
基于输入约束的符号执行优化

为了解决符号执行中路径爆炸、新路径发现率低等问题,提出了基于输入约束的符号执行(ICBSE)优化框架...

大小：753KB | 2021-01-17 04:21:21
符号执行angr解ctf逆向题组

大小：0B | 2019-01-14 16:28:01
静态分析符号执行技术研究

一篇关于静态分析的符号执行技术研究的论文 --《符号执行技术研究》

大小：0B | 2018-12-28 08:47:20
基于符号执行的反混淆方法研究.pdf

基于符号执行的反混淆方法研究.pdf

大小：1.13MB | 2021-04-24 04:29:04
使用angr进行静态分析和符号执行

使用angr进行静态分析和符号执行

大小：1.14MB | 2021-04-25 14:02:06
symexbib符号执行相关的论文目录.zip

symexbib, 符号执行相关的论文目录与符号执行相关的论文目录下面的列表是在 https://...

大小：10KB | 2020-12-31 22:31:28
modality使用Angr在Radar2中执行符号执行源码

情态一个radare2插件集成动物遗传资源的象征性执行能力。该项目是开发中的项目,因此可能会出现...

大小：1.3MB | 2021-04-23 16:59:18
选择性符号执行S2E.zip

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

大小：14.4MB | 2020-10-31 12:42:50
论文研究基于混合符号执行的Fuzzing测试技术.pdf

Fuzzing测试和符号执行都是漏洞挖掘领域常用的技术，但各自都存在一定缺陷。为提高漏洞挖掘效率，将...

大小：0B | 2020-05-12 10:02:04
结合动态污点分析和符号执行的Checksum Aware模糊测试

结合动态污点分析和符号执行的Checksum-Aware模糊测试

大小：464KB | 2021-04-07 12:37:47
symbolic execution tutorial符号执行教程动手练习基于angr框架源码

符号执行滑梯当前版本的幻灯片可。下载幻灯片: 2020年5月16日修订版: 修订版2019-1...

大小：4MB | 2021-02-23 16:49:35
论文研究基于选择符号执行的Fuzzing技术的研究.pdf

基于选择符号执行的Fuzzing技术的研究，刘昭，辛阳，软件的漏洞检测是信息安全领域的一个重要课题，...

大小：466KB | 2020-07-17 02:22:11
论文研究基于动态符号执行技术的协议逆向分析方法.pdf

基于动态符号执行技术的协议逆向分析方法，杨昌鑫，武斌，未知协议的协议逆向分析对其安全性研究具有十分重...

大小：290KB | 2020-07-31 00:25:26