GitPlanet

Cheap and reliable Node.js hosting starts at $3/month, and $1/month static HTML hosting

Created with love in Canada, visit hostnodejs.com today

Feel like to post an Ad? Learn Details
All Projects → vimeo → Psalm

vimeo / Psalm

Licence: mit
A static analysis tool for finding errors in PHP applications

Programming Languages

PHP
23972 projects - #3 most used programming language

Labels

static-analysistaint-analysistype-inferencehacktoberfestsecurity-analysis

Projects that are alternatives of or similar to Psalm

Find Sec Bugs
The SpotBugs plugin for security audits of Java web applications and Android applications. (Also work with Kotlin, Groovy and Scala projects)
Stars: ✭ 1,748 (-61.35%)
Mutual labels:  static-analysis, taint-analysis
Jedi
Awesome autocompletion, static analysis and refactoring library for python
Stars: ✭ 5,037 (+11.36%)
Mutual labels:  static-analysis, type-inference
Pyre Check
Performant type-checking for python.
Stars: ✭ 5,716 (+26.38%)
Mutual labels:  static-analysis, taint-analysis
Pyt
A Static Analysis Tool for Detecting Security Vulnerabilities in Python Web Applications
Stars: ✭ 2,061 (-54.43%)
Mutual labels:  static-analysis, taint-analysis
phpstan-dba
PHPStan based SQL static analysis and type inference for the database access layer
Stars: ✭ 163 (-96.4%)
Mutual labels:  static-analysis, type-inference
aura
Python source code auditing and static analysis on a large scale
Stars: ✭ 101 (-97.77%)
Mutual labels:  static-analysis, taint-analysis
gotcha
Go Taint CHeck Analyser
Stars: ✭ 40 (-99.12%)
Mutual labels:  static-analysis, taint-analysis
phan-taint-check-plugin
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)
Stars: ✭ 21 (-99.54%)
Mutual labels:  static-analysis, taint-analysis
Clang Tools Extra
Mirror kept for legacy. Moved to https://github.com/llvm/llvm-project
Stars: ✭ 358 (-92.08%)
Mutual labels:  static-analysis
Applicationinspector
A source code analyzer built for surfacing features of interest and other characteristics to answer the question 'What's in the code?' quickly using static analysis with a json based rules engine. Ideal for scanning components before use or detecting feature level changes.
Stars: ✭ 3,873 (-14.37%)
Mutual labels:  static-analysis
Reek
Code smell detector for Ruby
Stars: ✭ 3,693 (-18.35%)
Mutual labels:  static-analysis
Phpstan Symfony
Symfony extension for PHPStan
Stars: ✭ 360 (-92.04%)
Mutual labels:  static-analysis
Credo
A static code analysis tool for the Elixir language with a focus on code consistency and teaching.
Stars: ✭ 4,144 (-8.38%)
Mutual labels:  static-analysis
Detekt
Static code analysis for Kotlin
Stars: ✭ 4,169 (-7.83%)
Mutual labels:  static-analysis
Binee
Binee: binary emulation environment
Stars: ✭ 408 (-90.98%)
Mutual labels:  static-analysis
Exakat
The Exakat Engine : smart static analysis for PHP
Stars: ✭ 346 (-92.35%)
Mutual labels:  static-analysis
Codecompass
CodeCompass is a software comprehension tool for large scale software written in C/C++ and Java
Stars: ✭ 342 (-92.44%)
Mutual labels:  static-analysis
Saferwall
A hackable malware sandbox for the 21st Century
Stars: ✭ 419 (-90.74%)
Mutual labels:  static-analysis
Go Ruleguard
Define and run pattern-based custom linting rules.
Stars: ✭ 402 (-91.11%)
Mutual labels:  static-analysis
Go Tools
Staticcheck - The advanced Go linter
Stars: ✭ 4,317 (-4.55%)
Mutual labels:  static-analysis
View All Similar Projects ➔

Psalm

Packagist Packagist Psalm coverage Psalm level

Psalm is a static analysis tool for finding errors in PHP applications.

Installation

To get started, check out the installation guide.

Live Demo

You can play around with Psalm on its website.

Documentation

Documentation is available on Psalm’s website, generated from the docs folder.

Interested in contributing?

Have a look at CONTRIBUTING.md.

Who made this

Built by Matt Brown (@muglug).

Maintained by Orklah (@orklah) and Bruce Weirdan (@weirdan).

The engineering team at Vimeo have provided a lot encouragement, especially @nbeliard, @erunion and @nickyr.

Note that the project description data, including the texts, logos, images, and/or trademarks, for each open source project belongs to its rightful owner. If you wish to add or remove any projects, please contact us at [email protected].