Awesome

side-channel-analyzer

Static Analysis for detecting side-channel vulnerabilities in PHP applications.