Stars
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
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)
刷算法全靠套路，认准 labuladong 就够了！English version supported! 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
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.
Visualize call graph of a Go program using Graphviz
Weakness-Oriented Assertion Recommendation For Golang (source code for submission in ISSRE'19)
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