Avatar notebook default
学习笔记
22篇文章 · 20617字 · 1人关注
  • Resize,w 360,h 240
    Constraint-guided Directed Greybox Fuzzing 阅读

    Abstract 定向灰盒测试驱动种子到达目标位置，用于 crash reproduction 和 proof-of-concept gener...

    0.1 909 0 1
  • Smart Greybox Fuzzing 阅读笔记

    摘要 对于处理复杂文件格式的应用，CGF 随机变异并不能产生有效的文件。本文介绍了 smart grebox fuzzing(SGF)，利用种子...

    0.2 734 0 2
  • 静态/动态链接和装载

    通常我们使用gcc来生成可执行程序，命令为：gcc hello.c，默认生成可执行文件a.out 其实编译（包括链接）的命令：gcc hello...

    0.1 455 0 1
  • cmake 常见命令

    cmake cmake_minimum_required命令语法：cmake_minimum_required(VERSION major[.m...

    0.2 398 0 1
  • Angora: Efficient Fuzzing by Principled Search 阅读笔记

    Abstract 不使用符号执行来解决路径约束，从而增加分支覆盖率。为了有效地解决路径约束，我们引入了几个关键技术：可扩展的字节级污点跟踪，上下...

    0.2 962 0 1
  • DataFlowSanitizer

    介绍 DataFlowSanitizer 是动态数据流分析工具，和其他 Sanitizer 工具不同，该工具本身并非用于检测一些指定类型的bug...

    0.2 1225 0 1
  • Resize,w 360,h 240
    编写 LLVM Pass

    介绍 —— 什么是 pass 官方文档[https://llvm.org/docs/WritingAnLLVMPass.html#writing...

    0.2 1991 0 1
  • Makefile 文件的格式

    概述 Makefile文件由一系列规则（rules）构成。每条规则的形式如下。 上面第一行冒号前面的部分，叫做"目标"（target），冒号后面...

    0.3 1372 0 2
  • Resize,w 360,h 240
    LLVM IR

    LLVM Intermediate Representation，链接 LLVM 前端和后端的桥梁，与编程语言和运行架构无关。 LLVM IR有...

    0.2 676 0 1

文集作者