symexbib 符号执行相关的论文目录.zip

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

klee, KLEE符号执行引擎 KLEE符号虚拟机 KLEE 是构建在LLVM编译器基础之上的一个符号虚拟机。 目前,主要有两个组件:核心符号虚拟机引擎;负责执行带有符号值支持的LLVM位码模块。

Manticore Manticore是用于分析智能合约和二进制文件的符号执行工具。 产品特点 程序探索:Manticore可以执行带有符号输入的程序,并探索其可能达到的所有状态 输入生成:Manti

为了解决符号执行中路径爆炸、新路径发现率低等问题,提出了基于输入约束的符号执行(ICBSE)优化框架。该方法通过分析程序代码自动提取3类输入约束,随后使用这些约束引导符号执行更关注于核心功能代码。在K

Fuzzing测试和符号执行都是漏洞挖掘领域常用的技术，但各自都存在一定缺陷。为提高漏洞挖掘效率，将两者优点相结合，设计并实现了一种基于混合符号执行的Fuzzing测试工具。采用二进制代码插桩技术，动

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

S2E的全文是:Selective Symbolic Execution,即选择性符号执行。符号执行的过程可以理解为:以符号值代替程序的具体值输入,并且以符号操作代替程序执行过程中相应的具体操作。根据

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

从解ctf逆向题目学习符号执行，如果你想玩它们，看看package.py,

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