AhmadHassan-BTed / OpenHeart

Succinct Compositional Program Graph (SCPG) static analysis engine & 14-diagram UML generator in Rust.

hadolint / hadolint

Dockerfile linter, validate inline bash, written in Haskell

facebook / infer

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

semgrep / semgrep-rules

Semgrep Community Edition rules, maintained by Semgrep and the community. Free to use under the Semgrep Rules License.

clj-kondo / clj-kondo

Static analyzer and linter for Clojure code that sparks joy