Breadcrumbs: Efficient context sensitivity for dynamic bug detection analyses (2010)

by Michael D Bond, Graham Z Baker, Samuel Z Guyer
Venue:In Proceedings of the 2010 ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI ’10