注册会员 | 设为首页 | 加入收藏夹
您好，欢迎光临本网站！[请登录] ！[注册会员]！  

搜索资源列表

  1. 静态分析--符号执行技术研究

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

  3. 所属分类：专业指导

    • 发布日期：2011-03-05
    • 文件大小：251904
    • 提供者：jijixiangfei

  1. 符号执行简介

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

  3. 所属分类：讲义

    • 发布日期：2017-01-02
    • 文件大小：295936
    • 提供者：godyyf

  1. 选择性符号执行S2E.zip

  2. S2E的全文是：Selective Symbolic Execution，即选择性符号执行。符号执行的过程可以理解为：以符号值代替程序的具体值输入，并且以符号操作代替程序执行过程中相应的具体操作。根据其分析范围，符号执行可分为：过程内分析和过程间分析。过程内分析只分析单个过程的代码；而过程间分析则分析整个软件代码的上下文敏感信息，包括：当前函数的入口点、函数之间的调用信息以及环境信息等等。选择性符号执行是在符号执行的基础上添加约束条件，对测试人员感兴趣的执行路径进行选择，目的是降低分析的开销，提

  3. 所属分类：其它

    • 发布日期：2019-07-16
    • 文件大小：14680064
    • 提供者：weixin_39840914

  1. Android的全系统符号执行平台Android_S2E.pdf

  2. Android的全系统符号执行平台Android_S2E ................................................................................ .................................................................... .....................................

  3. 所属分类：OS

    • 发布日期：2020-12-16
    • 文件大小：108544
    • 提供者：ppcust

  1. kore:支持K框架的符号执行引擎-源码

  2. Kore语言 Kore是K框架的“核心”部分。 Kore的全部含义是什么？ 简而言之，我们需要K的形式语义。在K中，用户可以将编程语言的形式语法和语义定义为K定义，并自动为其语言获取解析器，解释器，编译器和各种验证工具。 因此，K是独立于语言的框架。 由于对匹配逻辑和可达性逻辑进行了多年研究，我们知道所有K都可以很好地形式化为匹配逻辑中的逻辑推理。 为了给K提供形式语义，我们只需要正式指定K进行推理的基础匹配逻辑理论。 在实践中，这些基础理论是复杂的且通常是无限的，并且在没有经过精心设计的正

  3. 所属分类：其它

    • 发布日期：2021-03-26
    • 文件大小：8388608
    • 提供者：weixin_42116921

  1. 基于符号执行的补丁程序相关漏洞检测

  2. 基于符号执行的补丁程序相关漏洞检测

  3. 所属分类：其它

    • 发布日期：2021-03-25
    • 文件大小：2097152
    • 提供者：weixin_38506798

  1. mini-symex:用于While语言和SMTlib的符号执行引擎和验证条件生成器-源码

  2. 迷你象征 While语言和SMTlib的符号执行引擎和验证条件生成器。 项目目标 该项目提供了一种简单的类似于Pascal的语言的验证条件生成器（VCG）。所有生成的验证条件（VC）均以如下方式编码到单个SMTLIB文件中：当且仅当所有check-sat查询均为unsat ，程序才符合其规范。目标之一是在VC和返回原始程序的逻辑术语之间建立链接。 入门 $ ./gradlew :core:installDist :ui:installDist 去做 实现Length(x)函数 在属性

  3. 所属分类：其它

    • 发布日期：2021-03-19
    • 文件大小：200704
    • 提供者：weixin_42165018

  1. 后置条件的符号执行

  2. 后置条件的符号执行

  3. 所属分类：其它

    • 发布日期：2021-03-13
    • 文件大小：195584
    • 提供者：weixin_38690830

  1. 用于漏洞检测的基于静态叉的符号执行

  2. 用于漏洞检测的基于静态叉的符号执行

  3. 所属分类：其它

    • 发布日期：2021-03-12
    • 文件大小：256000
    • 提供者：weixin_38620893

  1. Android框架的污染辅助和上下文迁移的符号执行，以发现和利用漏洞

  2. Android框架的污染辅助和上下文迁移的符号执行，以发现和利用漏洞

  3. 所属分类：其它

    • 发布日期：2021-03-08
    • 文件大小：262144
    • 提供者：weixin_38643407

  1. M-A-R:智能合约重入漏洞的动态符号执行检测-源码

  2. MAR 智能合约重入漏洞的动态符号执行检测

  3. 所属分类：其它

    • 发布日期：2021-03-05
    • 文件大小：22528
    • 提供者：weixin_42116672

  1. docs：S2E符号执行平台的文档和快速入门指南-源码

  2. docs：S2E符号执行平台的文档和快速入门指南

  3. 所属分类：其它

    • 发布日期：2021-03-02
    • 文件大小：3145728
    • 提供者：weixin_42116701

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

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

  3. 所属分类：其它

    • 发布日期：2021-02-24
    • 文件大小：475136
    • 提供者：weixin_38660624

  1. potluck：定制调试器，结合了动态工具和符号执行-源码

  2. 便饭 Potluck是将动态检测与符号执行相结合的定制调试器。 XX进展中的XX 去做： 生成内存映射 创建具体目标 使用具体目标和共生从弗里达拉出状态 自动获取文件备份过程以进行仿真 从frida手动拉出状态（ ） 用象征性执行来做某事 要求 python> = 3.5 python3-pip 安装 要安装基本的frida调试器： $ sudo pip3 install frida-potluck 或从源代码安装以进行开发： $ python -m virtuale

  3. 所属分类：其它

    • 发布日期：2021-02-19
    • 文件大小：36864
    • 提供者：weixin_42127775

  1. 基于符号执行的软件缓存侧信道脆弱性检测技术

  2. 缓存侧信道攻击的基础是程序针对不同敏感信息将访问不同的缓存地址.本文提出基于符号执行的缓存侧信道脆弱性检测技术，通过符号化敏感信息的数据传播过程定位潜在的脆弱点，并通过比较其可能的不同缓存访问地址，判断上述代码在缓存攻击中的可利用性.本文开发了原型系统CSCVulDiscover，并针对RSA等3种密码算法的12类实现代码进行测试，总共发现了125个脆弱点.

  3. 所属分类：其它

    • 发布日期：2021-02-08
    • 文件大小：262144
    • 提供者：weixin_38670391

  1. symbolic-execution-tutorial：符号执行教程。 动手练习基于angr框架-源码

  2. 符号执行 滑梯 当前版本的幻灯片可。 下载幻灯片： 2020年5月16日修订版： 修订版2019-12-05： 修订2018-11-29： 动手 建立 请参阅 。 幻灯片范例 您可以在slide-example目录中找到源代码，二进制文件（Linux x86_64）和angr脚本。 必须自定义solve-example.py ，替换{XXX，YYY，ZZZ}占位符。 逻辑炸弹 可以在bomb/目录中找到Windows PE-32逻辑炸弹。 可以在linux-bomb/目录中找到非常相似

  3. 所属分类：其它

    • 发布日期：2021-02-06
    • 文件大小：4194304
    • 提供者：weixin_42128315

  1. s2e：S2E：具有选择性符号执行的多路径程序分析平台-源码

  2. S2E库 该存储库包含构建libs2e.so所有必需组件。 此共享库已预加载到QEMU中，以启用符号执行。 请参考docs目录中的docs以获取构建和使用说明。 您也可以在在线找到它。

  3. 所属分类：其它

    • 发布日期：2021-02-06
    • 文件大小：5242880
    • 提供者：weixin_42109598

  1. 安哥拉：安哥拉是一个基于突变的模糊器。 安哥拉的主要目标是通过解决路径约束而无需符号执行来增加分支覆盖率-源码

  2. 安哥拉 安哥拉是基于突变的覆盖率指导的模糊测试仪。 Angora的主要目标是通过解决路径约束而无需符号执行来增加分支覆盖范围。 出版作品 Arxiv：，S＆P 2018。 建筑安哥拉 建造要求 Linux-amd64（在Ubuntu 16.04 / 18.04和Debian Buster上测试） 可以使用获得防锈稳定（> = 1.31） PREFIX=/path-to-install ./build/install_llvm.sh ：运行PREFIX=/path-to-instal

  3. 所属分类：其它

    • 发布日期：2021-02-06
    • 文件大小：6291456
    • 提供者：weixin_42168750

  1. radeco：基于radare2的反编译器和符号执行器-源码

  2. radeco：基于radare2的反编译器和符号执行器

  3. 所属分类：其它

    • 发布日期：2021-02-05
    • 文件大小：568320
    • 提供者：weixin_42099116

  1. pakala：用于以太坊的攻击性漏洞扫描程序，以及用于以太坊虚拟机的符号执行工具-源码

  2. 帕卡拉 “伊洛Pakala li pakala e mani sona” Pakala是一种在以太坊智能合约中搜索可利用错误的工具。 Pakala是以太坊虚拟机的符号执行引擎。 该工具的目标受众是对以太坊/ EVM感兴趣的安全研究人员。 安装 pip3 install pakala 它仅适用于python 3。 用法 让我们看一下 ：它具有transfer(address _to, uint256 _value)函数。 据说它受require(call.value - _value) &

  3. 所属分类：其它

    • 发布日期：2021-02-05
    • 文件大小：61440
    • 提供者：weixin_42165712
« 12 3 4 5 6 7 8 9 10 ... 50 »