GitHub repository: michaelcozzolino/psalm
Description: A static analysis tool for finding errors in PHP applications