Phan is a static analyzer for PHP. Phan prefers to avoid false-positives and attempts to prove incorrectness rather than correctness.
0
stars
0
forks
source link
WIP(broken, incomplete) Track if union type is real so that redundant/impossible conditions can be detected #226
Closed
TysonAndre closed 5 years ago