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

Magic number detector for Go.

SonarQube plugin for Kotlin

Turn clang-tidy warnings and fixes to comments in your pull request

libdft for Intel Pin 3.x and 64 bit platform. (Dynamic taint tracking, taint analysis)

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

Making CoreOS' Clair easily work in CI/CD pipelines

Efficient and Precise Pointer-Tracking Data-Flow Framework

ESLint plugin with rules that help validate proper imports.

Python help that really helps

High-level library for executable binary file analysis

Extensions for PHPStan

Dockerfile linter, validate inline bash, written in Haskell

A Speculation-Aware Collaborative Dependence Analysis Framework

*DEPRECATED* Symfony extension for PHPStan

Automated static analysis & linting bot for Mozilla repositories

🦩 Tools for Go projects

JAW: A Graph-based Security Analysis Framework for JavaScript and Client-side CSRF

An HTML generator for Valgrind's Memcheck tool

Binee: binary emulation environment

Quality Police for Java projects

A tool that suggests minimal PR size for contributors

An open source script to perform malware static analysis on Portable Executable

Measure Swift code metrics and get reports in Xcode, Jenkins and other CI platforms.

The Mobile App Pentest cheat sheet was created to provide concise collection of high value information on specific mobile application penetration testing topics.

A toy implementation of 'Stack Guard' on top of the LLVM compiler toolchain

Awesome autocompletion, static analysis and refactoring library for python

A community-driven list of awesome linters.

Infer mvn deps from sources

sleigh craft!

Define fields in python classes. Easily.

Detect uses of legacy Java APIs

Docker image for Alpine Linux with latest ShellCheck, a static analysis tool for shell scripts.

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

Pssst!... see what Rust is doing behind the curtains 🕵🤫

A set of utilities for checking Go sources. This repository has migrated to https://gitlab.com/opennota/check

Easy setup of static analysis tools for Android and Java projects.

Swiss-army knife for D source code

A Java package dependency analyzer that generates design quality metrics.

Bringing clang-tidy magic to Visual Studio C++ developers.

Bolt is a language with in-built data-race freedom!

coala base docker image

Policeman's Forbidden API Checker

ShellCheck, a static analysis tool for shell scripts

Intellisense for PHP

This project focuses on understanding the language ecosystem

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

The implementation of the Rascal meta-programming language (including interpreter, type checker, parser generator, compiler and JVM based run-time system)

Custom Python linting through AST expressions

Vim plugin for executing Python's optional static type checker MyPy (http://mypy-lang.org/)

Prevent cloud misconfigurations during build-time for Terraform, Cloudformation, Kubernetes, Serverless framework and other infrastructure-as-code-languages with Checkov by Bridgecrew.

An R package for static analysis of R code.

PHPStan extension for webmozart/assert

SonarLint integration for Apache Netbeans

Code smell detector for Ruby

Analysis of file (doc, pdf, exe, ...) in deep (emmbedded file(s)) with clamscan and yara rules

Utilities to get and check variable types (isString, isPlainObject, isRegExp, etc)

Application to demonstrate how I develop an iOS App with VIPER architecture in 5 days (Swift only)

A tool to verify that your files are in harmony with your .editorconfig

Security scanner coordinator

DEPRECATED: Use Git Lint (https://www.alchemists.io/projects/git-lint) instead.