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

搜索资源列表

  1. 离线污点跟踪分析系统

  2. 离线污点跟踪分析系统

  3. 所属分类：系统安全

    • 发布日期：2012-12-21
    • 文件大小：442368
    • 提供者：wang_fuwei

  1. 程序分析及约束求解器

  2. 本文档围绕如何使用约束求解器展开，包括用于逆向工程和寻找bug等的程序分析应用的SMT求解器。作者将展示如何将x86汇编码翻译成中间语言和SMT公式，还会讨论在程序分析时使用求解器的利与弊，求解器与污点数据分析的关系。

  3. 所属分类：专业指导

    • 发布日期：2014-08-15
    • 文件大小：1048576
    • 提供者：u010702509

  1. FlowDroid源代码

  2. FlowDroid源代码，包含了运行FlowDroid所需的其他源代码，jasmin、soot、heros，对于Android静态污点分析帮助很大，

  3. 所属分类：Android

    • 发布日期：2014-11-03
    • 文件大小：37748736
    • 提供者：zlp1992

  1. 黑客防线2010年09期杂志

  2. 黑客防线2010年09期杂志 我家我设计6.5 cell32.ocx 控件本地文件信息泄露0day（爱无言） 基于WiFi 通信的攻击与劫持艺术（小小杉） dBpowerAMP Audio Player 2 ActiveX 控件溢出漏洞（木木） 记一次PHP 源码代码混淆解密的全过程（无情一剑 ) *工具编写之“去头加花”（李霞） LZMA 算法压缩数据（腾袭） 动态污点分析系统TEMU（CrazyRabbit） 检测程序是否在VMWare虚拟机中运行（CrazyRabbit） 编写反启发式

  3. 所属分类：系统安全

    • 发布日期：2015-03-05
    • 文件大小：16777216
    • 提供者：johnllon

  1. PIN工具开发

  2. 大合集！！整理Github上关于Pin的绝大部分新项目，以及自己写的关于一些插桩分析的项目，主要涉及动态污点分析，二进制插桩分析，pin的使用教程，PinAPI等。

  3. 所属分类：网络安全

    • 发布日期：2018-11-15
    • 文件大小：150994944
    • 提供者：petrichor0324

  1. 基于静态二进制分析的工控协议逆向解析

  2. 针对传统的协议解析方法在工业控制系统中的局限性，提出了一种适用于工业控制系统通信协议的协议逆向分析方法。该方法的算法思想来源于动态污点算法，算法实现基于静态二进制分析平台IDA Pro及其提供的软件开发接口，解析结果可直接为模糊测试提供语义参考。该算法包括预处理、交叉引用分析、协议帧重构和语义提取等步骤，具有针对性强、通用性好的特点。将算法实现后应用于某组态软件，能够得到正确的分析结果，证明了该方法的正确性与有效性。

  3. 所属分类：其它

    • 发布日期：2020-10-16
    • 文件大小：485376
    • 提供者：weixin_38670433

  1. 基于污点分析的C程序中的Carraybound：static数组边界检查。

  2. 基于污点分析的C程序中的Carraybound：static数组边界检查。

  3. 所属分类：其它

    • 发布日期：2021-03-21
    • 文件大小：510976
    • 提供者：weixin_38704835

  1. 动态污点分析中处理依赖关系的一种动态方法

  2. 动态污点分析中处理依赖关系的一种动态方法

  3. 所属分类：其它

    • 发布日期：2021-03-18
    • 文件大小：185344
    • 提供者：weixin_38666208

  1. 动态污点分析框架的不均匀分布式系统

  2. 动态污点分析框架的不均匀分布式系统

  3. 所属分类：其它

    • 发布日期：2021-03-18
    • 文件大小：147456
    • 提供者：weixin_38503233

  1. 基于依赖的污点分析方法改进研究

  2. 基于依赖的污点分析方法改进研究

  3. 所属分类：其它

    • 发布日期：2021-03-14
    • 文件大小：438272
    • 提供者：weixin_38501363

  1. 通过污点路径切片和聚集进行面向分析师的污点分析

  2. 通过污点路径切片和聚集进行面向分析师的污点分析

  3. 所属分类：其它

    • 发布日期：2021-02-26
    • 文件大小：485376
    • 提供者：weixin_38559646

  1. kubo：结合使用按需控制数据流切片，污点分析和符号执行，为Linux内核提供可扩展且精确的UB检测-源码

  2. KUBO：适用于OS内核的精确且可扩展的静态UB检测器 要求： Ubuntu 16.04、18.04、20.04 Python3 第三方软件包：networkx，matploitlib，argparse，termcolor，ipython cmake 在里面 LLVM 9.0：cd llvm && ./init.sh 因为我们修改了一些源代码，所以这将准备一个预构建的以及本机构建的llvm 9.0。 各种依赖项目：cd deps && ./build.sh 久保通行证：cd work

  3. 所属分类：其它

    • 发布日期：2021-02-26
    • 文件大小：23068672
    • 提供者：weixin_42121905

  1. 消息和指令分析相结合的网络协议异常行为分析

  2. 关注协议的异常行为,将协议传递的原始消息和实现协议的程序二进制代码均作为分析对象,采用动态污点分析和静态分析相结合的方法,先在自行设计的虚拟分析平台Abnormal Disc原型系统上监控和分析协议程序解析消息的过程,记录协议的公开行为,再利用提出的异常行为感知和挖掘算法,静态分析协议的异常行为触发条件和异常行为指令序列,最后根据异常行为触发条件生成带有敏感信息的协议新消息,动态触发异常行为的执行。Abnormal Disc原型系统可以感知并触发协议的异常行为,根据统计分析的结果,提出了协议运行

  3. 所属分类：其它

    • 发布日期：2021-02-25
    • 文件大小：1048576
    • 提供者：weixin_38672840

  1. 基于roBDD的细颗粒度动态污点分析(英文)

  2. 基于roBDD的细颗粒度动态污点分析(英文)

  3. 所属分类：其它

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

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

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

  3. 所属分类：其它

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

  1. mythril：EVM字节码的安全性分析工具。 支持为以太坊，Hedera，Quorum，Vechain，Roostock，Tron和其他EVM兼容区块链构建的智能合约-源码

  2. 秘银 Mythril是用于EVM字节码的安全分析工具。 它检测为以太坊，Hedera，Quorum，Vechain，Roostock，Tron和其他EVM兼容区块链构建的智能合约中的安全漏洞。 它使用符号执行，SMT解决方案和污点分析来检测各种安全漏洞。 安全分析平台还使用了它（与其他工具和技术结合使用）。 如果您是精明的合同开发者，我们建议使用，这些针对可用性进行了优化，并且涵盖了广泛的安全问题。 无论您是要做出贡献，需要支持，还是想了解我们未来的烹饪方法，我们的都能满足您的需求。 安装

  3. 所属分类：其它

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

  1. 坚固：坚固是一个用于在Haskell中开发声音静态分析的库-源码

  2. 坚固 Sturdy是一个用于在Haskell中创建声音静态分析的库。 静态分析是在不实际运行程序的情况下产生有关计算机程序信息的工具。 静态分析的示例包括类型检查器，错误查找器（例如Java FindBugs），安全性分析（例如污点分析）以及用于编译器优化的分析。 该项目专注于声音静力分析。 如果分析结果反映了程序的实际运行时行为，并且用户可以依赖结果，则可以进行静态分析。 例如，如果不完善用于编译器优化的静态分析，则优化可能会更改程序的语义，从而导致运行时出现意外行为。 为此，Sturdy

  3. 所属分类：其它

    • 发布日期：2021-02-04
    • 文件大小：17825792
    • 提供者：weixin_42131785

  1. ttt-ext：Chrome扩展程序，可通过对字符串值进行简单的污点分析来帮助查找DOMXSS-源码

  2. 污染测试工具 简单的Chrome扩展程序可帮助查找DOMXSS和类似的安全问题。 通过向“源”（例如页面位置，引荐来源网址，Cookie等）中注入唯一的字符串来工作。然后，Javascr ipt挂钩会检测各种“接收器”（例如eval（）和innerHTML）以查找“污点”。 单击“浏览器操作”图标，将扫描包含的脚本源中要添加为参数的关键字，类似于DOMinator的“智能模糊处理”技术。 这有助于找到将location.hash解析为键值的内容，并且只有某些关键字容易受到注入。 “选项”页面

  3. 所属分类：其它

    • 发布日期：2021-01-30
    • 文件大小：33792
    • 提供者：weixin_42110070

  1. 一种基于Blob分析的摄像头模组缺陷检测方法

  2. 针对传统的摄像头模组灰尘人工检测方法的不足，提出了一种基于Blob分析的摄像头模组灰尘检测方法。根据摄像头模组图像传感器（Sensor）的特性，设计了专用的光照系统，获得清晰、满足要求的图像。同时采用了基于Blob分析对摄像头模组Sensor灰尘颗粒进行检测，通过检测的耗时性以及与金相显微镜精度对比，实验结果表明：自行设计的光照系统能够满足Sensor上污点的检测，同时运用Blob分析法对摄像头模组Sensor检测方法的效率较高，该方法能够满足摄像头模组缺陷检测的要求。

  3. 所属分类：其它

    • 发布日期：2021-01-29
    • 文件大小：1048576
    • 提供者：weixin_38518668

  1. Dytaint：针对x86二进制程序的新型轻量级三态动态污点分析框架的实现

  2. Dytaint：针对x86二进制程序的新型轻量级三态动态污点分析框架的实现

  3. 所属分类：其它

    • 发布日期：2021-03-20
    • 文件大小：2097152
    • 提供者：weixin_38516956
« 12 »