Change the repository type filter
All
Repositories list
10 repositories
phan
PublicPhan is a static analyzer for PHP. Phan prefers to avoid false-positives and attempts to prove incorrectness rather than correctness.phan_helpers
Publicdemo
PublicRun phan entirely in your browser (with emscripten)docker
PublicProposedAnnotations
PublicPhanPrototypes
PublicPhanUnusedVariable
Public archive