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

Idea: add a `@phan-transient` tag (and `@phan-serializable-documented`, check __sleep(), serialize() for misuse #142

Open TysonAndre opened 6 years ago

TysonAndre commented 6 years ago

This requires additional code to check the properties which are returned by __sleep(), which isn't done yet.

Uses of array_merge(), return self::CONST, return ['propname'], etc. should be checked.

Goal: Keep __sleep() consistent with the properties added to an object.