kirancodes.me
To Proof Maintenance & Beyond!

Breadcrumbs: efficient context sensitivity for dynamic bug detection analyses

Michael D. Bond, Graham Z. Baker, Samuel Z. Guyer

Abstract

Calling context--the set of active methods on the stack--is critical for understanding the dynamic behavior of large programs. Dynamic program analysis tools, however, are almost exclusively context insensitive because of the prohibitive cost of representing calling contexts at run time. Deployable dynamic analyses, in particular, have been limited to reporting only static program locations.

Related papers