412 Open source projects that are alternatives of or similar to phpstan-phpspec

PHPStan based SQL static analysis and type inference for the database access layer

WordPress extensions for PHPStan ⛏️

*DEPRECATED* Symfony extension for PHPStan

Main repository for all Monofony bundles

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

PHPStan extension for webmozart/assert

Extensions for PHPStan

Enum class reflection extension for PHPStan

PHP Static Analysis in Github Actions.

A Vim plugin for PHPStan - https://github.com/phpstan/phpstan. It calls `phpstan` to do static analysis of your PHP code and displays the errors in Vim's quickfix list.

WooCommerce function and class declaration stubs for static analysis.

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

Automated static analysis & linting bot for Mozilla repositories

No description or website provided.

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

Quality Police for Java projects

Quality Police for Java projects: aggregator of Checkstyle, PMD, and SpotBugs

A static analysis and linter tool for Lua

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

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

Boardgames website, based on Symfony framework and Sylius.

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

Detect uses of legacy Java APIs

The missing CMake project initializer

Analysing source code locally with SonarQube in a Docker environment.

A health checkup for your project.

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

Duplicate code finder for Elixir

[READ-ONLY] PHP_CodeSniffer sniff that checks class name matches PSR-4 project structure.

🦩 Tools for Go projects

A library for detecting swapped arguments in function calls, and a Clang Static Analyzer plugin used to demonstrate the library.

A Ruby code quality reporter

Go static program analyser

Automatically generates FORtran Documentation from comments within the code.

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

PHPUnit extensions and rules for PHPStan

FindBugs static analysis plugin for sbt.

Jenkins Warnings Plugin - Next Generation

汽车/安卓/固件/代码安全测试工具集

The modern Java bytecode editor

Learn the fundamentals of Binary Auditing. Know how HLL mapping works, get more inner file understanding than ever.

Inline syscalls made easy for windows on clang

persistent monitor (for static source code analysis, GCC based)

A PHP parser written in PHP

SDA is a rich cross-platform tool for reverse engineering that focused firstly on analysis of computer games. I'm trying to create a mix of the Ghidra, Cheat Engine and x64dbg. My tool will combine static and dynamic analysis of programs. Now SDA is being developed.

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

The CodeQL extractor and libraries for Go.

Read-only mirror of the Klever Git repository

Static analysis of IEC 61131-3 programs

Static Application Security Testing (SAST) engine focused on covering the OWASP Top 10, to make source code analysis to find vulnerabilities right in the source code, focused on a agile and easy to implement software inside your DevOps pipeline. Support the following technologies: Java (Maven and Android), Kotlin (Android), Swift (iOS), .NET Full Framework, C#, and Javascript (Node.js).

Swiss-army knife for D source code

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

A plug-in for Google's Protocol Buffers (protobufs) compiler to lint .proto files for style violations.

Security scanner for your Terraform code

Dlint is a tool for encouraging best coding practices and helping ensure Python code is secure.

Python subsets

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

A reviewed list of useful PHP static analysis tools

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

Efficient and Precise Pointer-Tracking Data-Flow Framework