dk.brics.automaton - finite-state automata and regular expressions for Java

A curated list of awesome symbolic execution resources including essential research papers, lectures, videos, and tools.

A Dataflow-Driven and Automated Fuzzer for the PHP Interpreter

PPLite: convex polyhedra library for Abstract Interpretation

CoOpeRace: Cooperative Data Race Verification

A powerful static binary rewriting tool

AFL binary instrumentation

🐇 Fuzzing Rust code with American Fuzzy Lop

The VeriFx automated verification language

SCTBench: a set of C/C++ pthread benchmarks for evaluating concurrency testing techniques.

A curated list of awesome directed fuzzing research papers

Framework for sandboxed testing of OCaml code.

Static Value-Flow Analysis Framework for Source Code

Visual Studio Code extension for OCaml

CakeML: A Verified Implementation of ML

A beautiful, simple, clean, and responsive Jekyll theme for academics

SPARTA is a library of software components specially designed for building high-performance static analyzers based on the theory of Abstract Interpretation.

Yet Another Random Program Generator

A simple tutorial about how to use the CIL compiler frontend

spamassassin blocked-list to avoid traffic from predatory publishers

📚 a modular easy to use Library for Static Analysis aiming at multi-language analysis

C-Reduce, a C and C++ program reducer

A new version of Soot with a completely overhauled architecture

CodeHawk Abstract Interpretation Engine and Analyzers

The Ultimate program analysis framework.

Deductive verification infrastructure for probabilistic programs

A Shape Analyzer Based on Symbolic Memory Graphs