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