KLEE Symbolic Execution Engine

ConcoLLMic: the first language- and theory-agonistic concolic execution engine via LLM agents

A secure, fast, and adaptable OS based on the seL4 microkernel

An overview of property-based testing functionality

Some experiments with SMT solvers and GIMPLE IR

seL4 specification and proofs

QuickCheck clone for C++ with the goal of being simple to use with as little boilerplate as possible.

Fuzz anything with Program Environment Fuzzing

The seL4 microkernel

C++ standard library reference

QuickCheck clone for C++ with the goal of being simple to use with as little boilerplate as possible.

Utilities for working with strings at compile time and passing strings as template parameters.

Blogpost about optimizing binary-only fuzzing with AFL++

This is a heavily updated version of the old DOS executable decompiler DCC

Reconstruction of intel 8080 tool chain inc. PLM80, ASM80, LINK80, LOC80, LIB80 and ISIS 4.1

A collection of awesome API Security tools and resources. The focus goes to open-source tools and resources that benefit all the community.

A LLVM Sanitizer for Symbolic Tracing

A multi-platform fuzzer for poking at userland binaries, network clients and servers

Low-Level Software Security for Compiler Developers

Cross-platform low-footprint realtime C/C++ Profiler

Fuzzing Unification Framework

StdFuzzer is the reference implementation of a generic bit-level fuzzer with LibAFL

Companion repository to the Fuzzing101 with LibAFL series of blog posts.

ClusterFuzzLite - Simple continuous fuzzing that runs in CI.

AFL binary instrumentation

An step by step fuzzing tutorial. A GitHub Security Lab initiative

Winnie makes fuzzing Windows applications easy