Convicting exploitable software vulnerabilities: An efficient input provenance based approach
A First Step Towards Automated Detection of Buffer Overrun Vulnerabilities