An efficient and backwards-compatible transformation to ensure memory safety of C programs
A First Step Towards Automated Detection of Buffer Overrun Vulnerabilities