Logo

Static program analysis is the analysis of computer software that is performed without actually executing programs — Wikipedia

This is a collection of static analysis tools and code quality checkers. Pull requests are very welcome!
Note: :copyright: stands for proprietary software. All other tools are Open Source.
Also check out the sister project, awesome-dynamic-analysis.

Table of Contents

Programming Languages

Abap

Ada

Awk

C/C++

C#

Crystal

Dlang

Elixir

Erlang

F#

Fortran

Go

Groovy

Haskell

Haxe

Java

JavaScript

Kotlin

Lua

MATLAB

Perl

PHP

Python

Python wrappers

R

RPG

Ruby

Rust

Scala

Shell

Solidity

SQL

Swift

TypeScript

VBScript

Multiple languages

Other

Build tools

Binaries

Containers

Config Files

Configuration Management

CSS

Gherkin

HTML

IDE Plugins

LaTeX

Makefiles

Markdown

Mobile

Packages

Supporting Tools

Template-Languages

Translation

Writing

Web services

More collections

License

CC0

To the extent possible under law, Matthias Endler has waived all copyright and related or neighboring rights to this work. Title image Designed by Freepik.