Lines Matching refs:bindings

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