Project

Scalable Static Analyses to Automatically Find Vulnerabilities in Code