shao-hua-li

ai-for-grant-writing

A curated list of resources for using LLMs to develop more competitive grant applications.

klee

KLEE Symbolic Execution Engine

Creal

llm-course

Course to get into Large Language Models (LLMs) with roadmaps and Colab notebooks.

cruxeval

CRUXEval: Code Reasoning, Understanding, and Execution Evaluation

csfaculty.github.io

Interview questions for Computer Science faculty jobs

llvm-project

The LLVM Project is a collection of modular and reusable compiler and toolchain technologies.

AFLplusplus-PGE

CompDiff

UBGen

UBGen can generate programs with undefined behaviors (e.g., buffer-overflow, use-after-free, etc.)

home

The Themis Benchmark for evaluating automated GUI testing

AnghaBench

A benchmark suite containing 1 million compilable programs, mined from the largest public C repositories on GitHub.

alive2

Automatic verification of LLVM optimizations

CodeCapybara

Open-source Self-Instruction Tuning Code LLM

janus

A tool for testing SMT solvers for incompleteness bugs

csmith

Csmith, a random generator of C programs

ccbuilder

Stoat

Stoat (STochastic model App Tester) - an automatic testing tool for android apps

delta

Delta assists you in minimizing "interesting" files subject to a test of their interestingness.

AFLplusplus

AFLplusplus for AST

AFLplusplus

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!

fuzzbench

AST fork

AST

datAFLow

A data-flow guided fuzzer

CompCert

The CompCert formally-verified C compiler

dead

go-fuzz-corpus

Corpus for github.com/dvyukov/go-fuzz examples

Nyx

curl-fuzzer

Quality assurance testing for the curl project

Tartiflette

Snapshot fuzzing with KVM and LibAFL