WEB安全手册(红队安全技能栈)，漏洞理解，漏洞利用，代码审计和渗透测试总结。【持续更新】

A curated list of awesome Fuzzing(or Fuzz Testing) for software security

StateFuzz: System Call-Based State-Aware Linux Driver Fuzzing

radius2 is a fast binary emulation and symbolic execution framework using radare2

Directed fuzzing framework for gVisor.

Kernel fuzzer inspired by Syzkaller.

SymCC: efficient compiler-based symbolic execution

《一个64位操作系统的设计与实现》读书笔记&随书源码

ProFuzzBench - A Benchmark for Stateful Protocol Fuzzing

Ankou: Guiding Grey-box Fuzzing towards Combinatorial Difference (ICSE '20)

AFLNet: A Greybox Fuzzer for Network Protocols (https://thuanpv.github.io/publications/AFLNet_ICST20.pdf)

Crack LeetCode, not only how, but also why.

KLEE-fl : Compile Project to Bitcode and Try Fuzzing with KLEE .

Getting started with static program analysis. 静态程序分析入门教程。

Run fuzzing experiments in Docker

Go rules for Bazel

Tutorial for Building Program Reasoning Tools using LLVM and Z3

Code for PathAFL on ASIACCS 2020. Please see README_CN.md. Please wait for README_EN.md.

为互联网IT人打造的中文版awesome-go

Visualize call graph of a Go program using Graphviz

Weakness-Oriented Assertion Recommendation For Golang (source code for submission in ISSRE'19)

Main gperftools repository

Application Kernel for Containers

FANS: Fuzzing Android Native System Services

Montage: A Neural Network Language Model-Guided JavaScript Engine Fuzzer

This project hosts security advisories and their accompanying proof-of-concepts related to research conducted at Google which impact non-Google owned code.

Here are example files of dockerized_fuzzing, including compiled binaries and outputs