PHPStan focuses on finding errors in your code without actually running it.
Read more
PHPStan focuses on finding errors in your code without actually running it.
Read more
PHP_CodeSniffer tokenizes PHP files and detects violations of a defined set of coding standards.
Read more
PHPLint is a tool that can speed up linting of php files by running several lint processes at once.
Read more
This application checks the syntax of PHP files in parallel. It can output in plain text, colored text, json and checksyntax formats.
Read more
Error Prone is a static analysis tool for Java that catches common programming mistakes at compile-time.
Read more
rumdl is a modern Markdown linter and formatter, built for speed with Rust.
Read more
CSSLint is a tool to help point out problems with your CSS code. It does basic syntax checking as well as applying a set of rules to the code
Read more
Jarl is a fast linter for R: it does static code analysis to search for programming errors, bugs, and suspicious patterns of code.
Read more
The Checker Framework enhances Java’s type system to make it more powerful and useful. This lets software developers detect and prevent errors
Read more
Infer is a static analysis tool for Java, C++, Objective-C, and C. Infer is written in OCaml.
Read more
NullAway is a tool that offers fast annotation-based null checking for Java.
Read more
PMD is an extensible multilanguage static code analyzer. It finds common programming flaws like unused variables, empty catch blocks
Read more
Yagni is a static code analyzer that helps you find unused code in your applications and libraries.
Read more
SpotBugs is a program which uses static analysis to look for bugs in Java code. It’s a fork of the abandoned FindBugs.
Read more
lein-bikeshed is a Leiningen plugin designed to tell you your code is bad, and that you should feel bad.
Read more
Clj-kondo performs static analysis on Clojure, ClojureScript and EDN. It informs you about potential errors while you are typing.
Read more
kibit is a static code analyzer for Clojure, ClojureScript, cljx and other Clojure variants.
Read more
Eastwood’s main area of focus is spotting bugs (as opposed to, say, helping following coding conventions).
Read more
mbake is a Makefile formatter and linter that offers smart formatting: Tabs for recipes, consistent spacing, line continuation cleanup.
Read more
Rate My OpenAPI is a suite of tools designed to help software developers who are using OpenAPI to design and implement their APIs.
Read more