A static analyzer for Java, C, C++, and Objective-C

Lightweight static analysis for many languages. Find bug variants with patterns that look like source code.

A code rewrite tool for structural search and replace that supports ~every language.

Tools for code analysis, visualizations, or style-preserving source transformation.

Binary Analysis Platform

KaRaMeL is a tool for extracting low-level F* programs to readable C code

Visual Studio Code extension for Coq

Scilla - A Smart Contract Intermediate Level Language

tired of typing afl-fuzz? try bun!

SPARK 2014 repository for the Why3 verification platform.

Generation of mutant programs

Static & Dynamic Verification of C programs

Runtime Verification toolchain for generation of monitors based on the restricted Metric Temporal Logic with Durations.