-
cg
CallGraph cg
-
heapModel
HeapModel heapModel
-
fam
MemoryAccessMap fam
-
cha
IClassHierarchy cha
-
cgNodesVisited
com.ibm.wala.util.intset.BitVectorIntSet cgNodesVisited
node numbers of CGNodes we have already visited
-
getFieldDefs
java.util.Map<K,V> getFieldDefs
Map: LocalPointerKey -> IField. if we have (x,f), that means x was def'fed by a getfield on
f.
-
arrayDefs
java.util.Collection<E> arrayDefs
-
callDefs
java.util.Map<K,V> callDefs
Map: LocalPointerKey -> SSAInvokeInstruction. If we have (x, foo()), that means that x was
def'fed by the return value from a call to foo()
-
params
java.util.Map<K,V> params
Map: LocalPointerKey -> CGNode. If we have (x, foo), then x is a parameter of method foo.
For now, we have to re-discover the parameter position.