| | |
Summary: Checking and Inferring Local Non-Aliasing
Alex Aiken
University of California, Berkeley
aiken@cs.berkeley.edu
Jeffrey S. Foster
University of Maryland, College Park
jfoster@cs.umd.edu
John Kodumal
University of California, Berkeley
jkodumal@cs.berkeley.edu
Tachio Terauchi
University of California, Berkeley
tachio@cs.berkeley.edu
ABSTRACT
In prior work [15] we studied a language construct restrict that
allows programmers to specify that certain pointers are not aliased
to other pointers used within a lexical scope. Among other appli-
cations, programming with these constructs helps program analysis
tools locally recover strong updates, which can improve the track-
ing of state in flow-sensitive analyses. In this paper we continue
|
