phan

phan

Geek Repo

Github PK Tool:Github PK Tool

phan's repositories

phan

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

Language:PHPLicense:NOASSERTIONStargazers:5499Issues:107Issues:2755

demo

Run phan entirely in your browser (with emscripten)

Language:CLicense:MITStargazers:19Issues:4Issues:11

PHPSignatures

This contains function, method, and property signatures with extra details for PHP functions, methods, and properties.

Language:PHPStargazers:7Issues:7Issues:0

docker

Dockerization of the Phan PHP static analysis tool

Language:ShellLicense:NOASSERTIONStargazers:2Issues:3Issues:5

PhanUnusedVariable

NOTE: Most of this functionality is implemented by --unused-variable-detection-detection

Language:PHPLicense:Apache-2.0Stargazers:2Issues:2Issues:6

ProposedAnnotations

Discussion for phpdoc annotations that are useful to static analyzers/out of the scope of PSR-5

phan.github.com

Phan on Github Pages. Mirror of documentation.

Language:RubyStargazers:0Issues:5Issues:0

PhanPrototypes

Prototypes/experiments for plugins for Phan, etc.

Language:PHPStargazers:0Issues:5Issues:0

wiki

Mirror of https://github.com/phan/phan/wiki for proposing changes

Stargazers:0Issues:3Issues:0