Buffer Overflow and Format String Overflow Vulnerabilities
A First Step Towards Automated Detection of Buffer Overrun Vulnerabilities