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

Hardcaml is an OCaml library for designing hardware.

Bolt is a language with in-built data-race freedom!

A Rust verification tool