502 Open source projects that are alternatives of or similar to Wala

A Static Analysis Tool for Detecting Security Vulnerabilities in Python Web Applications

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

Droidefense: Advance Android Malware Analysis Framework

Static analysis of IEC 61131-3 programs

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

A static analyzer for Java, C, C++, and Objective-C

Policeman's Forbidden API Checker

Doctrine extensions for PHPStan

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

SeaHorn Verification Framework

EBA is a static bug finder for C.

OpenStaticAnalyzer is a source code analyzer tool, which can perform deep static analysis of the source code of complex systems.

Static code analysis for CFML (a linter)

PHPStan rules for detecting usage of deprecated classes, methods, properties, constants and traits.

SpotBugs is FindBugs' successor. A tool for static analysis to look for bugs in Java code.

Extra strict and opinionated rules for PHPStan

🐘 SonarPHP: PHP static analyzer for SonarQube & SonarLint

Jenkins Warnings Plugin - Next Generation

Lightweight static analysis for many languages. Find bug variants with patterns that look like source code.

The CodeQL extractor and libraries for Go.

unimport is a Go static analysis tool to find unnecessary import aliases.

Go Taint CHeck Analyser

An extensible multilanguage static code analyzer.

TIRO - A hybrid iterative deobfuscation framework for Android applications

Static analysis framework for .NET programs.

⚙️ Scan your Java, Kotlin, PHP, Python, JavaScript, TypeScript projects at GitHub with Qodana

Code Climate engine for code duplication analysis

The leading static analyzer for Perl. Configurable, extensible, powerful.

Static Analyzer for LLVM bitcode based on Abstract Interpretation

🐶 Automated code review tool integrated with any code analysis tools regardless of programming language

Semgrep rules registry

Code Climate CLI

Program for determining types of files for Windows, Linux and MacOS.

Manage translation and localization with static analysis, for Ruby i18n

🔥 ~6x faster, stricter, configurable, extensible, and beautiful drop-in replacement for golint

A linter, formatter for finding and removing unused import statements.

PHPUnit extensions and rules for PHPStan

⚗️ Adds code analysis to Laravel improving developer productivity and code quality.

A tool to help eliminate NullPointerExceptions (NPEs) in your Java code with low build-time overhead

Duplicate code finder for Elixir

Static Analysis Compiler Plugin for Scala

Standalone linter for ABAP

Chronos - A static race detector for the go language

PHPStan extension for webmozart/assert

Symfony extension for PHPStan

SonarLint integration for Apache Netbeans

nakedret is a Go static analysis tool to find naked returns in functions greater than a specified function length.

identypo is a Go static analysis tool to find typos in identifiers (functions, function calls, variables, constants, type declarations, packages, labels).

A library to read static analysis reports into a Java object model

Nette Framework class reflection extension for PHPStan & framework-specific rules

A plugin to simplify Static Code Analysis on Gradle. Not restricted to, but specially useful, in Android projects, by making sure all analysis can access the SDK classes.

Code Climate Engine for ESLint

It's not just a linter that annoys you!

Static Analyzer for LLVM bitcode based on Abstract Interpretation

Binary Analysis Platform

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

Automatic test case generation for python and static analysis library

Code Climate Engine for PHP Code Sniffer

Program analysis playground for a simple, imperative language

A static type analyzer for Python code