Compositional Pointer and Escape . . .
by
John Whaley, et al.
BibTeX
@MISC{Whaley_compositionalpointer,
author = {John Whaley and et al.},
title = {Compositional Pointer and Escape . . . },
year = {}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
... algorithm for Java programs. The algorithm is based on the abstraction of points-to escape graphs, which characterize how local variables and elds in objects refer to other objects. Each points-to escape graph also contains escape information, which characterizes how objects allocated in one region of the program can escape to be accessed by another region. The algorithm is designed to analyze arbitrary regions of complete or incomplete programs, obtaining complete information for objects that do not escape the analyzed regions. We have
