Integrating Static and Dynamic Analysis for Detecting Vulnerabilities
A First Step Towards Automated Detection of Buffer Overrun Vulnerabilities