Scalable Static Analysis to Detect Security Vulnerabilities: Challenges and Solutions | IEEE Conference Publication | IEEE Xplore