A PHP static analysis tool for finding errors and security vulnerabilities in PHP applications
vimeo/psalm is engineered as a server, cloud service, or developer package. It is primarily deployed via Docker containers or package managers rather than a single desktop executable.