GitHub - phan/phan: Phan is a static analyzer for PHP. Phan prefers to avoid false-positives and attempts to prove incorrectness rather than correctness.Phan is able to perform the following kinds of analysis: Check that all methods, functions, classes, traits, interfaces, constants, properties and variables are defined and accessible. Check for type safety and arity issues on method/function/closure calls. Check for PHP8/PHP7/PHP5 backward compatibility. Check for features that weren't supported in older PHP 7.x minor releases (E.g. object, void,
