phan

Pinned Repositories

demo
Run phan entirely in your browser (with emscripten)
Language:C19 4 115
docker
Dockerization of the Phan PHP static analysis tool
Language:Shell2 3 53
phan
Phan is a static analyzer for PHP. Phan prefers to avoid false-positives and attempts to prove incorrectness rather than correctness.
Language:PHP5.5k 108 2.8k360
phan.github.com
Phan on Github Pages. Mirror of documentation.
Language:Ruby0 5 02
PhanPrototypes
Prototypes/experiments for plugins for Phan, etc.
Language:PHP0 5 00
PhanUnusedVariable
NOTE: Most of this functionality is implemented by --unused-variable-detection-detection
Language:PHP2 2 60
PHPSignatures
This contains function, method, and property signatures with extra details for PHP functions, methods, and properties.
Language:PHP7 7 04
ProposedAnnotations
Discussion for phpdoc annotations that are useful to static analyzers/out of the scope of PSR-5
2 5 70
wiki
Mirror of https://github.com/phan/phan/wiki for proposing changes
0 3 01

phan's Repositories

phan/phan
Phan is a static analyzer for PHP. Phan prefers to avoid false-positives and attempts to prove incorrectness rather than correctness.
Language:PHP5.5k 108 2.8k360
phan/demo
Run phan entirely in your browser (with emscripten)
Language:C19 4 115
phan/PHPSignatures
This contains function, method, and property signatures with extra details for PHP functions, methods, and properties.
Language:PHP7 7 04
phan/docker
Dockerization of the Phan PHP static analysis tool
Language:Shell2 3 53
phan/PhanUnusedVariable
NOTE: Most of this functionality is implemented by --unused-variable-detection-detection
Language:PHP2 2 60
phan/ProposedAnnotations
Discussion for phpdoc annotations that are useful to static analyzers/out of the scope of PSR-5
2 5 70
phan/phan.github.com
Phan on Github Pages. Mirror of documentation.
Language:Ruby0 5 02
phan/PhanPrototypes
Prototypes/experiments for plugins for Phan, etc.
Language:PHP0 5 00
phan/wiki
Mirror of https://github.com/phan/phan/wiki for proposing changes
0 3 01