TysonAndre / phan

Phan is a static analyzer for PHP. Phan prefers to avoid false-positives and attempts to prove incorrectness rather than correctness.
Other
0 stars 0 forks source link

Wip(broken) implement a plugin for @phan-having annotations #220

Closed TysonAndre closed 3 years ago

TysonAndre commented 5 years ago

Plans:

These allow adding complex conditions that can't be expressed through the regular type system (e.g. a string argument matches some regular expression, a number is positive, an array has more than one element), and should be possible to extend.

This check is only planned for values that have a single possible literal type