Static code analysis topic
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.
infer
A static analyzer for Java, C, C++, and Objective-C
rubocop
A Ruby static code analyzer and formatter, based on the community Ruby style guide.
static-analysis
⚙️ 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.
checkstyle
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 confi...
semgrep
Lightweight static analysis for many languages. Find bug variants with patterns that look like source code.
datree
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 d...
reviewdog
🐶 Automated code review tool integrated with any code analysis tools regardless of programming language
phan
Phan is a static analyzer for PHP. Phan prefers to avoid false-positives and attempts to prove incorrectness rather than correctness.
pylint
It's not just a linter that annoys you!
pmd
An extensible multilanguage static code analyzer.