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
Convert `a || b` to `!(!(a) && !(b))` in ASTSimplifier #114
Closed
TysonAndre closed 6 years ago
This allows reusing Phan's code for analyzing
&&
expressions in if statements, ternary operators, etc.