search

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

Add a way to annotate functions/methods with whether or not the value should be used #84

Open TysonAndre opened 7 years ago

TysonAndre commented 7 years ago

E.g. There's no point in calling intdiv or strlen or Memcached->get and discarding the value, but preg_match is fine if $matches is provided.

Add a way for user-defined functions, e.g. @phan-callers-should-use-return-value