Add SideEffectChecker, similar to BlockExitStatusChecker

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 SideEffectChecker, similar to BlockExitStatusChecker #117

Closed TysonAndre closed 5 years ago

TysonAndre commented 7 years ago

If something has no side effects (e.g. modify property/modify $this/modify ArrayAccess/call get()/set()/echo/throw/die()/modify global), then Phan should be able to infer that fact.

Expect return values of methods with no side effects to be used.
Expect constructors with no side effects to have their values used
etc.