DieHard: Probabilistic MemorySafety for Unsafe Languages (2006)

by E D Berger, B G Zorn
Venue:In ACM Conference on Programming Language Design and Implementation