Performs advanced static analysis on PHP code