Lines Matching refs:bindings

6 RegionStoreManager. This store records bindings to memory regions using a "base
35 else, but we do have to be conservative about all other bindings within `foo`.
44 concrete offset invalidates any symbolic offset bindings whose concrete offset
74 variable. Thus it is not valid to assume that all bindings with non-symbolic
85 need to throw away not just all bindings within the region itself, but within
95 all live bindings in the store (in order to throw away the dead ones). The name
96 "ClusterAnalysis" predates the cluster-based organization of bindings, but
98 bindings within a cluster must be treated in the same way for a conservative
105 Most bindings in RegionStore are simple scalar values -- integers and pointers.
106 These are known as "Direct" bindings. However, RegionStore supports a second
127 NOTE: The fact that bindings are stored as a base region plus an offset limits
138 arrays) called "lazy bindings", implemented using a special SVal called
148 reachability analysis, which must take the bindings in the old store into