Preventing Privilege Escalation
A First Step Towards Automated Detection of Buffer Overrun Vulnerabilities