A static analysis tool for finding errors in PHP applications - View it on GitHub