550 Open source projects that are alternatives of or similar to Pyre Check

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

Static Analyzer for LLVM bitcode based on Abstract Interpretation

Program analysis playground for a simple, imperative language

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

Binary Analysis Platform

Static code analysis for CFML (a linter)

No description or website provided.

Signedness-Agnostic Strided-Interval

SonarQube CSS / SCSS / Less Analyzer

A GitHub app to automatically review Python code style over Pull Requests

SonarQube Cucumber Gherkin Analyzer

Static analyzer for C/C++ based on the theory of Abstract Interpretation.

CoRnucopia of ABstractions: a library for building abstract interpretation-based analyses

Gradle plugin for PIT Mutation Testing

The SpotBugs plugin for security audits of Java web applications and Android applications. (Also work with Kotlin, Groovy and Scala projects)

A LLVM-based static analysis framework.

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

Inline your lint messages

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

Code Climate Engine for PHP Code Sniffer

A 6502-oriented low-level programming language supporting advanced static analysis

Code Climate Engine for ESLint

Code analyzer for C# and VB.NET projects https://redirect.sonarsource.com/plugins/vbnet.html

Static analysis framework for .NET programs.

Generic implementation of different CFA families based on monadic decomposition

Static Analysis Compiler Plugin for Scala

⚙️ A curated list of static analysis (SAST) tools for all programming languages, config files, build tools, and more.

Docker image that provides static analysis tools for PHP

A static analysis tool for finding errors in PHP applications

SonarQube Java Properties Analyzer

Static Analyzer for LLVM bitcode based on Abstract Interpretation

Semgrep rules registry

Static code analyzer for TypeScript

🐘 SonarPHP: PHP static analyzer for SonarQube & SonarLint

Static code analysis for Kotlin

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

The CodeQL extractor and libraries for Go.

Static analysis of IEC 61131-3 programs

Code Climate CLI

T.J. Watson Libraries for Analysis

Analysing source code locally with SonarQube in a Docker environment.

OCCAM: Object Culling and Concretization for Assurance Maximization

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 configurable. It can be invoked with an ANT task and a command line program.

Integrate SonarQube scanner to GitHub Actions

Github mirror of "mediawiki/tools/phan/SecurityCheckPlugin" - our actual code is hosted with Gerrit (please see https://www.mediawiki.org/wiki/Developer_access for contributing)

TIRO - A hybrid iterative deobfuscation framework for Android applications

Assorted pintools

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.

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

Python source code auditing and static analysis on a large scale

Pluggable TypeScript and JavaScript linter

SeaHorn Verification Framework

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

Code Climate engine for code duplication analysis

Continuous Inspection

SonarSource Static Analyzer for JavaScript and TypeScript

Go Taint CHeck Analyser

It's not just a linter that annoys you!

A static type analyzer for Python code

An extensible multilanguage static code analyzer.