Performs static analysis on PHP code