Static analysis tool for PHP