Linux kernel source tree

Modern HTTP benchmarking tool

A flexible distributed key-value datastore that is optimized for caching and other realtime workloads.

AddressSanitizer, ThreadSanitizer, MemorySanitizer

The fuzzer afl++ is afl with community patches, qemu 5.1 upgrade, collision-free coverage, enhanced laf-intel & redqueen, AFLfast++ power schedules, MOpt mutators, unicorn_mode, and a lot more!

A memory profiler for Linux.

Protocol Buffers with small code size

waifu2x converter ncnn version, runs fast on intel / amd / nvidia / apple-silicon GPU with vulkan

Exercises to learn how to fuzz with American Fuzzy Lop

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

Go library to parse and normalize SQL queries using the PostgreSQL query parser

Directed Greybox Fuzzing with AFL

AFLFast (extends AFL with Power Schedules)

The efficient SMT-based context-bounded model checker (ESBMC)

A vulnerable C program for testing fuzzers.

Loco's program runner core, for online judge

记录自己在看 afl 源码时候的一些笔记和想法，还有一些自己觉得有意思的魔改。2020年12月2日update：添加混合模糊测试目录

Linear-time Temporal Logic guided Greybox Fuzzing (ICSE'22)

MONA - a decision procedure for monadic second-order logic on finite strings and trees