GitHub repository: vimeo/psalm
Primary language: PHP
Description: A PHP static analysis tool for finding errors and security vulnerabilities in PHP applications