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

🔎 Static code analysis engine to find security issues in code.

Systems language with linear types and capability-based security.

Rubytt is a static Ruby code analyzer, written in OCaml