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

Check if inherited method implementations are compatible with implemented interfaces #163

Open TysonAndre opened 6 years ago

TysonAndre commented 6 years ago

Not sure if this is getting done for all edge cases. I'm seeing some missing warnings