Top 403 static-analysis open source projects

CPU-guided performance analyzer for Go

WordPress extensions for PHPStan ⛏️

🏥 PHPDoctor: Check files, full directories or strings for missing or bad PHPDoc types.

RAML Linter

PhpSpec extension for PHPStan

A tool which performs static analyses on Decision Model Notation (DMN) files to detect bugs

persistent monitor (for static source code analysis, GCC based)

Phantom types for Python.

Lint all your JavaScript, CSS, HTML, Markdown and Dockerfiles with a single command

The missing CMake project initializer

Dlint is a tool for encouraging best coding practices and helping ensure Python code is secure.

Inline your lint messages

A library for detecting swapped arguments in function calls, and a Clang Static Analyzer plugin used to demonstrate the library.

Quality Police for Java projects: aggregator of Checkstyle, PMD, and SpotBugs

汽车/安卓/固件/代码安全测试工具集

Analysing source code locally with SonarQube in a Docker environment.

Read-only mirror of the Klever Git repository

Python subsets

Static and dynamic Android application security analysis

Type-safe Lua IDE Plugin for IntelliJ IDEA

[READ-ONLY] PHP_CodeSniffer sniff that checks class name matches PSR-4 project structure.

No description or website provided.

Go static program analyser

A static analysis and linter tool for Lua

FindBugs static analysis plugin for sbt.

Learn the fundamentals of Binary Auditing. Know how HLL mapping works, get more inner file understanding than ever.

A health checkup for your project.

SDA is a rich cross-platform tool for reverse engineering that focused firstly on analysis of computer games. I'm trying to create a mix of the Ghidra, Cheat Engine and x64dbg. My tool will combine static and dynamic analysis of programs. Now SDA is being developed.

Static analysis of IEC 61131-3 programs

Sturdy is a library for developing sound static analyses in Haskell.

Tool that generates unit test by C/C++ source code, trying to reach all branches and maximize code coverage

Efficient and Precise Pointer-Tracking Data-Flow Framework

Extensions for PHPStan

A set of opinionated and useful lint checks

A Speculation-Aware Collaborative Dependence Analysis Framework

Duplicate code finder for Elixir

Automated static analysis & linting bot for Mozilla repositories

🦩 Tools for Go projects

A linter to prevent exception handling antipatterns in Python (limited only for those who like dinosaurs).

Phan - PHP Static Analysis for VS Code

An HTML generator for Valgrind's Memcheck tool

Codacy tool for Scalameta

Static Analyzer for Java Code with Machine Learning in Mind