Diehard: Probabilistic memory safety for unsafe languages (2006)

by E Berger, B Zorn
Venue:In ACM SIGPLAN Conf. on Programming Language Design and Implementation (PLDI