Uses of Class
soot.jimple.spark.pag.FieldRefNode
-
Packages that use FieldRefNode Package Description soot.jimple.spark.ondemand soot.jimple.spark.pag soot.jimple.spark.solver -
-
Uses of FieldRefNode in soot.jimple.spark.ondemand
Methods in soot.jimple.spark.ondemand with parameters of type FieldRefNode Modifier and Type Method Description voidDotPointerGraph. addLoad(FieldRefNode from, VarNode to)voidDotPointerGraph. addStore(VarNode from, FieldRefNode to) -
Uses of FieldRefNode in soot.jimple.spark.pag
Fields in soot.jimple.spark.pag with type parameters of type FieldRefNode Modifier and Type Field Description protected Map<SparkField,FieldRefNode>VarNode. fieldsprotected Map<FieldRefNode,Object>PAG. loadprotected Map<FieldRefNode,Object>PAG. storeInvMethods in soot.jimple.spark.pag that return FieldRefNode Modifier and Type Method Description FieldRefNodeVarNode. dot(SparkField field)Returns the field ref node having this node as its base, and field as its field; null if nonexistent.FieldRefNodePAG. findGlobalFieldRefNode(Object baseValue, SparkField field)Finds the FieldRefNode for base variable value and field field, or returns null.FieldRefNodePAG. findLocalFieldRefNode(Object baseValue, SparkField field)Finds the FieldRefNode for base variable value and field field, or returns null.FieldRefNodePAG. makeFieldRefNode(VarNode base, SparkField field)Finds or creates the FieldRefNode for base variable base and field field, of type type.FieldRefNodePAG. makeGlobalFieldRefNode(Object baseValue, Type baseType, SparkField field)Finds or creates the FieldRefNode for base variable baseValue and field field, of type type.FieldRefNodePAG. makeLocalFieldRefNode(Object baseValue, Type baseType, SparkField field, SootMethod method)Finds or creates the FieldRefNode for base variable baseValue and field field, of type type.protected FieldRefNodeMethodPAG. parameterize(FieldRefNode frn, Context varNodeParameter)Methods in soot.jimple.spark.pag that return types with arguments of type FieldRefNode Modifier and Type Method Description Collection<FieldRefNode>VarNode. getAllFieldRefs()Returns all field ref nodes having this node as their base.ArrayNumberer<FieldRefNode>PAG. getFieldRefNodeNumberer()Set<FieldRefNode>PAG. loadSources()Iterator<FieldRefNode>PAG. loadSourcesIterator()Set<FieldRefNode>PAG. storeInvSources()Iterator<FieldRefNode>PAG. storeInvSourcesIterator()Methods in soot.jimple.spark.pag with parameters of type FieldRefNode Modifier and Type Method Description booleanPAG. addLoadEdge(FieldRefNode from, VarNode to)booleanPAG. addStoreEdge(VarNode from, FieldRefNode to)booleanPAG. doAddLoadEdge(FieldRefNode from, VarNode to)booleanPAG. doAddStoreEdge(VarNode from, FieldRefNode to)Node[]PAG. loadLookup(FieldRefNode key)static StringPagToDotDumper. makeLabel(FieldRefNode node)protected FieldRefNodeMethodPAG. parameterize(FieldRefNode frn, Context varNodeParameter)Node[]PAG. storeInvLookup(FieldRefNode key) -
Uses of FieldRefNode in soot.jimple.spark.solver
Fields in soot.jimple.spark.solver with type parameters of type FieldRefNode Modifier and Type Field Description protected MultiMap<FieldRefNode,FieldRefNode>PropAlias. aliasEdgesprotected MultiMap<FieldRefNode,FieldRefNode>PropAlias. aliasEdgesprotected Set<FieldRefNode>PropAlias. fieldRefWorkListprotected Map<FieldRefNode,PointsToSetInternal>PropAlias. loadSetsprotected Set<FieldRefNode>PropAlias. outFieldRefWorkListMethods in soot.jimple.spark.solver with parameters of type FieldRefNode Modifier and Type Method Description protected PointsToSetInternalPropAlias. getP2Set(FieldRefNode n)protected voidPropWorklist. handleFieldRefNode(FieldRefNode src, HashSet<Object[]> edgesToPropagate)Propagates new points-to information of node src to all its successors.protected voidChecker. handleLoads(FieldRefNode src)protected voidMergeChecker. handleLoads(FieldRefNode src)protected booleanPropIter. handleLoads(FieldRefNode src)protected PointsToSetInternalPropAlias. makeP2Set(FieldRefNode n)
-