An efficient and backwardscompatible transformation to ensure memory safety of c programs (2004)

by W Xu, D C DuVarney, R Sekar
Venue:in Proceedings of the 12th ACM SIGSOFT international symposium on Foundations of software engineering