A collection of resources about fuzzing test.
- https://www.fuzzingbook.org/
- https://github.com/uds-se/fuzzingbook
- Fuzzing Brute Force Vulnerability Discovery
- 模糊测试-强制发掘安全漏洞的利器
See Fuzzingpaper.
- Exercises to learn how to fuzz with American Fuzzy Lop
- Modern fuzzing of C/C++ Projects, libfuzzer-workshop
- Google Fuzzing Forum
- Modern fuzzing of C/C++ Projects
- Set of tests for fuzzing engines (including tutorial)
- Fuzzing – how to find bugs automagically using AFL
- Java Bugs with and without Fuzzing
- AFL 漏洞挖掘技术漫谈（一）：用 AFL 开始你的第一次 Fuzzing
- AFL 漏洞挖掘技术漫谈（二）：Fuzz 结果分析和代码覆盖率
- Fuzzing PHP for Fun and Profit
- 从零开始学Fuzzing系列：浏览器挖掘框架Morph诞生记
- A curated list of awesome Fuzzing(or Fuzz Testing) for software security
- A curated list of fuzzing resources ( Books, courses - free and paid, videos, tools, tutorials and vulnerable applications to practice on ) for learning Fuzzing and initial phases of Exploit Development like root cause analysis.
- Fuzzing-学习资源汇总
LLVM: a collection of modular and reusable compiler and toolchain technologies https://llvm.org/
SVF: Pointer Analysis and Program Dependence Analysis for C and C++ Programs https://github.com/SVF-tools/SVF
phasar: A LLVM-based static analysis framework https://github.com/secure-software-engineering/phasar
soot: A Java optimization framework https://github.com/Sable/soot
klee: a symbolic virtual machine built on top of the LLVM compiler infrastructure http://klee.github.io/
z3: Z3 Theorem Prover https://github.com/Z3Prover/z3
COQ: a formal proof management system https://github.com/coq/coq
Compilers : principles, techniques, and tools
Engineering a Compiler
Advanced Compiler Design and Implementation
High-Performance Compilers for Parallel Computing
Optimizing Compilers for Modern Architectures
Data Flow Analysis Theory and Practice
Static Program Analysis
Principles of program analysis
Model Checking
Handbook of Satisfiability
Decision Procedures An Algorithmic Point of View
Getting Started with LLVM Core Libraries
LLVM Essentials
LLVM Cookbook
(Stanford) cs143 Compilers http://web.stanford.edu/class/cs143/
(Simon Fraser University) CMPT 886: Program Analysis and Reliability http://www.cs.sfu.ca/~wsumner/teaching/886/15/
(Harvard) CS 252r: Advanced Topics in Programming Languages https://www.seas.harvard.edu/courses/cs252/2015fa/index.html
15-745 Optimizing Compilers for Modern Architecture https://www.cs.cmu.edu/~15745/index.html
cscd70 COMPILER OPTIMIZATION http://www.cs.toronto.edu/~pekhimenko/courses/cscd70-w18/index.html
CS 380C: Advanced Compiler Techniques http://www.cs.utexas.edu/users/mckinley/380C/
CS6843: Program Analysis http://www.cse.iitm.ac.in/~rupesh/teaching/pa/jan14/description.php