DieHard: probabilistic memory safety for unsafe languages (2006)

by Emery D Berger, Benjamin Zorn
Venue:In Proc. of the 27th ACM SIGPLAN Conf. on Programming Language Design and Implementation