An efficient and backwards-compatible transformation to ensure memory safety of c programs (2004)

Cached

Download Links

by Wei Xu , Daniel C. Duvarney , R. Sekar
Venue:In Proc. 12th ACM SIGSOFT Symposium on Foundations of Software Engineering
Citations:52 - 5 self