psalm
https://github.com/vimeo/psalm
PHP
A static analysis tool for finding errors in PHP applications
Triage Issues!
When you volunteer to triage issues, you'll receive an email each day with a link to an open issue that needs help in this project. You'll also receive instructions on how to triage issues.
Triage Docs!
Receive a documented method or class from your favorite GitHub repos in your inbox every day. If you're really pro, receive undocumented methods or classes and supercharge your commit history.
PHP not yet supported17 Subscribers
Add a CodeTriage badge to psalm
Help out
- Issues
- PropertyMap overrides property types declared in stubs
- Unsound negation and clause handling in the formula algebra (9 cases)
- Assertions whose identity or negation is computed wrongly (8 cases)
- Assignments inside a condition mix the old and new value of the variable (7 cases)
- Clauses about a variable or property survive its reassignment (6 cases)
- Wrong context after an `if` whose condition or body narrows (3 cases)
- Loop conditions applied wrongly to the context (4 cases)
- `$s != null` on `?string` narrows to `non-falsy-string`, but `'0' != null` is true
- Add Codebase::addTaintedCall() to wire calls into the taint graph, and an Expr-less call taint event
- False positive InvalidDocblock for return type
- Docs
- PHP not yet supported