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.

• UpdatedOct 8, 2025
• Rust

🌟 JavaScript Style Guide, with linter & automatic code fixer

• UpdatedJul 11, 2025
• JavaScript

Find and fix problems in your JavaScript code.

• UpdatedOct 7, 2025
• JavaScript

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

• UpdatedOct 7, 2025
• Rust

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

• UpdatedOct 7, 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.

• UpdatedOct 7, 2025
• Rust

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

• UpdatedOct 7, 2025
• PHP

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

• UpdatedOct 8, 2025
• OCaml

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

• UpdatedOct 7, 2025
• Ruby

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

• UpdatedOct 7, 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.

• UpdatedOct 8, 2025
• Java

Go security checker

• UpdatedOct 6, 2025
• Go

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

• UpdatedSep 29, 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

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

• UpdatedOct 7, 2025
• PHP

It's not just a linter that annoys you!

• UpdatedOct 7, 2025
• Python

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

• UpdatedOct 6, 2025
• Go

An extensible multilanguage static code analyzer.

• UpdatedOct 7, 2025
• Java

A static type analyzer for Python code

• UpdatedOct 6, 2025
• Python

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

• UpdatedOct 6, 2025
• Java