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

搜索资源列表

  1. ubuntu下KLEE的安装和分析GNC代码教程

  2. ubuntu14.04下KLEE的安装和分析GNC代码教程

  3. 所属分类：其它

    • 发布日期：2016-04-15
    • 文件大小：18432
    • 提供者：geshi201028

  1. 符号执行简介

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

  3. 所属分类：讲义

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

  1. vanderbei_linear-programming_ed-4.pdf

  2. This book is about constrained optimization. It begins with a thorough treatment of linear programming and proceeds to convex analysis, network flows, integer programming, quadratic programming, and convex optimization. Along the way, dynamic program

  3. 所属分类：专业指导

    • 发布日期：2019-07-15
    • 文件大小：8388608
    • 提供者：jeffchenzf

  1. klee, KLEE符号执行引擎.zip

  2. klee, KLEE符号执行引擎 KLEE符号虚拟机 KLEE 是构建在LLVM编译器基础之上的一个符号虚拟机。 目前，主要有两个组件：核心符号虚拟机引擎；负责执行带有符号值支持的LLVM位码模块。 这由 lib/中的代码组成。面向支持of的posix/li

  3. 所属分类：其它

    • 发布日期：2019-09-18
    • 文件大小：1048576
    • 提供者：weixin_38744435

  1. 【北斗卫星收发单元】北斗RDSS卫星收发单元PD07规格书.pdf

  2. 【北斗卫星收发单元】北斗RDSS卫星收发单元PD07规格书.pdf广州辑钴智能科技有限公司 PD07技术规格书 1.概述 “北斗·号”卫星导航系统是我国自行研制,利用地球同步卫星为用户提供快速定位、报 文通讯和精确吋间服务的·种新型的全天候、区域性的卫星导航定位系统。 北斗一号用户机是北斗一号地面应用系统的重要组成部分,主要功能是发出定位及通信请 求,接收中心控制系统的定位和通信结果,并具有导航和授时能力。广泛应用于兼容北斗的 卫星导航、授时、车辆导航、海洋渔业、气象探测以及应急救援等领域 日前

  3. 所属分类：电信

    • 发布日期：2019-07-02
    • 文件大小：2097152
    • 提供者：weixin_44303398

  1. ctf入门手册.pdf

  2. CTF（Capture The Flag）中文一般译作夺旗赛，在网络安全领域中指的是网络安全技术人员之间进行技术竞技的一种比赛形式。CTF起源于1996年DEFCON全球黑客大会，以代替之前黑客们通过互相发起真实攻击进行技术比拼的方式。发展至今，已经成为全球范围网络安全圈流行的竞赛形式，2013年全球举办了超过五十场国际性CTF赛事。而DEFCON作为CTF赛制的发源地，DEFCON CTF也成为了目前全球最高技术水平和影响力的CTF竞赛，类似于CTF赛场中的“世界杯” 。2.4.7 Cucko

  3. 所属分类：网络攻防

    • 发布日期：2019-07-02
    • 文件大小：12582912
    • 提供者：weixin_43412967

  1. ctf all in one

  2. 基本上的ctf所能涉及到的基础知识都涵盖了，是ctf热爱者提供一个入门的指导书籍，能够帮助了解一些基本概念与常用软件的基本操作还有一些出题人的思想2.3.3x64dbg 1.4.3.3 2.3.4 WinDbg 1.4.34 2.3.5 LLDB 1.4.3.5 其他工具 1.4.4 2.4.1 pwntools 1.4.4.1 2.4.2zi0 1.4.4.2 2.4.3 metasploit 1.4.4.3 2.4.4 binwalk 1.4.4.4 2.4.5 Burp Suite 1.4

  3. 所属分类：系统安全

    • 发布日期：2019-04-19
    • 文件大小：23068672
    • 提供者：qq_43555848

  1. Klee-源码

  2. / 克利一号 Klee是一种用铅笔或钢笔手写的脚本字体。 它的安静设计具有优雅的外观，使其与传统的脚本和教科书字体区分开来。 正文的理想选择。 。 下载字体 您可以从下一页下载预构建的TrueType字体。 从源代码构建字体 要求 建立字体 将当前工作目录更改为“ Klee”文件夹，然后运行build.py 。 $ python build.py 执照 该字体已获得。 人物 所有字形 禁止行为 除“ SIL Open Font License Version 1.1”（SIL开放字体许可版本1

  3. 所属分类：其它

    • 发布日期：2021-03-10
    • 文件大小：96468992
    • 提供者：weixin_42131424

  1. klee：以个人UI图书馆为借口，拥有已发布的U​​I包-源码

  2. Klee UI:trade_mark: 库UI被作为借口来测试使用样式化系统，情感，成帧器运动和Typescr ipt构建打包的UI套件的工作流程。 还可以尝试使用Chromatic试用Storybook v6。 它不像Chakra-UI那样庞大（而且很棒）（这是一个很大的灵感），但是可以用来做一些直播...并把KLEE放到任何地方 安装 警告早期可用的早期版本可用，暂时不可用（也许永远不会），但是可以 # using yarn $ yarn add liinkiing/klee # usin

  3. 所属分类：其它

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

  1. 基于输入约束的符号执行优化

  2. 为了解决符号执行中路径爆炸、新路径发现率低等问题，提出了基于输入约束的符号执行（ICBSE）优化框架。该方法通过分析程序代码自动提取3类输入约束，随后使用这些约束引导符号执行更关注于核心功能代码。在KLEE中实现了上述优化框架，并对coreutils、binutils、grep、patch、diff这5个程序套件中的7个常用程序做了检测。ICBSE发现了7个之前未知的缺陷（KLEE只检测其中3个）。同时，ICBSE将指令行覆盖率、分支覆盖率分别提升了约20%，时间开销降低了约15%。

  3. 所属分类：其它

    • 发布日期：2021-01-14
    • 文件大小：771072
    • 提供者：weixin_38680664