static-analyzer

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

EMBA - The firmware security analyzer

CodeChecker is an analyzer tooling, defect database and viewer extension for static and dynamic analyzer tools.

Beautiful and understandable static analysis tool for PHP

PHPMD is a spin-off project of PHP Depend and aims to be a PHP equivalent of the well known Java tool PMD. PHPMD can be seen as an user friendly frontend application for the raw metrics stream measured by PHP Depend.

Static Value-Flow Analysis Framework for Source Code

BinAbsInspector: Vulnerability Scanner for Binaries

Next-gen phpDoc parser with support for intersection types and generics

A Static Code Analyzer for PHP (a PhpStorm/Idea Plugin)

cwe_checker finds vulnerable patterns in binary executables

SonarSource Static Analyzer for JavaScript and TypeScript

:coffee: SonarSource Static Analyzer for Java Code Quality and Security

APKHunt is a comprehensive static code analysis tool for Android apps that is based on the OWASP MASVS framework. Although APKHunt is intended primarily for mobile app developers and security testers, it can be used by anyone to identify and address potential security vulnerabilities in their code.

Code analyzer for C# and VB.NET projects

Doctrine extensions for PHPStan

prealloc is a Go static analysis tool to find slice declarations that could potentially be preallocated.

🕵️ Haskell STatic ANalyser

Detect concurrency and memory bugs and possible panic locations in Rust projects

[LLVM Static Slicer] Various program analyses, construction of dependence graphs and program slicing of LLVM bitcode.