Static detection of dynamic memory errors (1996)

by David Evans
Venue:In Proceedings of the International Conference on Programming Language Design and Implementation, PLDI. ACM