KLEE Symbolic Execution Engine

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

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!

Static Value-Flow Analysis Framework for Source Code

Official snap for KLEE

Framework for the Analysis of Code, Test, and Coverage Evolution in Real Software

Csmith, a random generator of C programs

Website for the ISSTA conference series

GrayC: Greybox Fuzzing of Compilers and Analysers for C

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

ProFuzzBench - A Benchmark for Stateful Protocol Fuzzing

A web app for ranking computer science departments according to their research output in selective venues, and for finding active faculty across a wide range of areas.

PC-miner tool for program chairs

Keyboard productivity extension for Thunderbird

Unison file synchronizer

Load-time selective binary rewriting

KLEE / CSE Project

Website for the KLEE project: https://klee-se.org/

A wrapper script to build whole-program LLVM bitcode files

Symbolic Execution Engine for Boogie

Simple Theorem Prover, an efficient SMT solver for bitvectors

KLEE in the browser