Static program analysis (or static analysis) is the analysis of computer programs performed without executing them, in contrast with dynamic program analysis, which is performed on programs during their execution.

An extremely fast Python linter and code formatter, written in Rust.

• UpdatedDec 17, 2025
• Rust

🌟 JavaScript Style Guide, with linter & automatic code fixer

• UpdatedJul 11, 2025
• JavaScript

Find and fix problems in your JavaScript code.

• UpdatedDec 17, 2025
• JavaScript

A toolchain for web projects, aimed to provide functionalities to maintain them. Biome offers formatter and linter, usable via CLI and LSP.

• UpdatedDec 17, 2025
• Rust

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

• UpdatedDec 17, 2025
• OCaml

⚙️ 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.

• UpdatedDec 16, 2025
• Rust

PHP Static Analysis Tool - discover bugs in your code without running it!

• UpdatedDec 16, 2025
• PHP

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

• UpdatedDec 17, 2025
• OCaml

A Ruby static code analyzer and formatter, based on the community Ruby style guide.

• UpdatedDec 17, 2025
• Ruby

🐶 Automated code review tool integrated with any code analysis tools regardless of programming language

• UpdatedDec 17, 2025
• Go

Checkstyle is a development tool to help programmers write Java code that adheres to a coding standard. By default it supports the Google Java Style Guide and Sun Code Conventions, but is highly configurable. It can be invoked with an ANT task and a command line program.

• UpdatedDec 17, 2025
• Java

Go security checker

• UpdatedDec 16, 2025
• Go

Bandit is a tool designed to find common security issues in Python code.

• UpdatedDec 9, 2025
• Python

Prevent Kubernetes misconfigurations from reaching production (again 😤 )! From code to cloud, Datree provides an E2E policy enforcement solution to run automatic checks for rule violations. See our docs:https://hub.datree.io

• UpdatedApr 23, 2024
• Go

It's not just a linter that annoys you!

• UpdatedDec 15, 2025
• Python

Phan is a static analyzer for PHP. Phan prefers to avoid false-positives and attempts to prove incorrectness rather than correctness.

• UpdatedDec 13, 2025
• PHP

🔥 ~6x faster, stricter, configurable, extensible, and beautiful drop-in replacement for golint

• UpdatedDec 16, 2025
• Go

An extensible multilanguage static code analyzer.

• UpdatedDec 17, 2025
• Java

A static type analyzer for Python code

• UpdatedDec 16, 2025
• Python

A tool to help eliminate NullPointerExceptions (NPEs) in your Java code with low build-time overhead

• UpdatedDec 17, 2025
• Java