1123 Open source projects that are alternatives of or similar to Pyt

Go Taint CHeck Analyser

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

Performant type-checking for python.

T.J. Watson Libraries for Analysis

Assorted pintools

🐺 Malware analysis platform

It's not just a linter that annoys you!

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

Golang security checker

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

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

Phan is a static analyzer for PHP. Phan prefers to avoid false-positives and attempts to prove incorrectness rather than correctness.

Chronos - A static race detector for the go language

Static Analysis Compiler Plugin for Scala

A static type analyzer for Python code

🐘 SonarPHP: PHP static analyzer for SonarQube & SonarLint

Static code analysis for CFML (a linter)

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

Vulnerability Patterns Detector for C# and VB.NET

Doctrine extensions for PHPStan

Spoon is a metaprogramming library to analyze and transform Java source code (up to Java 15). 🥄 is made with ❤️, 🍻 and ✨. It parses source files to build a well-designed AST with powerful analysis and transformation API.

The official GitHub mirror of https://gitlab.com/pycqa/flake8

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

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

🐞 Primitive Erlang Security Tool

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

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

SeaHorn Verification Framework

Code Climate engine for code duplication analysis

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

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

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

Extra strict and opinionated rules for PHPStan

An extensible multilanguage static code analyzer.

Program analysis playground for a simple, imperative language

Droidefense: Advance Android Malware Analysis Framework

A static analysis tool for finding errors in PHP applications

Symfony extension for PHPStan

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

A LLVM-based static analysis framework.

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

Static program analysis for TIP

cfmt is a tool to wrap Go comments over a certain length to a new line.

☕️ SonarSource Static Analyzer for Java Code Quality and Security

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

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.

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

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

Binary Analysis Platform

SonarSource Static Analyzer for JavaScript and TypeScript

Semgrep rules registry

Manage translation and localization with static analysis, for Ruby i18n

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

Triton is a Dynamic Binary Analysis (DBA) framework. It provides internal components like a Dynamic Symbolic Execution (DSE) engine, a dynamic taint engine, AST representations of the x86, x86-64, ARM32 and AArch64 Instructions Set Architecture (ISA), SMT simplification passes, an SMT solver interface and, the last but not least, Python bindings.

Static Analyzer for LLVM bitcode based on Abstract Interpretation

Type Analyzer for JavaScript

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

Static analysis framework for .NET programs.

scalastyle

Standalone linter for ABAP