⚙️ A curated list of static analysis (SAST) tools and linters for all programming languages, config files, build tools, and more. The focus is on tools which improve code quality.

Kani Rust Verifier

Advanced Fuzzing Library - Slot your Fuzzer together in Rust! Scales across cores and machines. For Windows, Android, MacOS, Linux, no_std, ...

Symbolic execution of LLVM IR with an engine written in Rust

Tokay is a programming language designed for ad-hoc parsing, inspired by awk.

language-agnostic program reducer.