Uses of Class
soot.jimple.spark.geom.geomPA.IVarAbstraction

Packages that use IVarAbstraction
soot.jimple.spark.geom.geomE   
soot.jimple.spark.geom.geomPA   
soot.jimple.spark.geom.heapinsE   
soot.jimple.spark.geom.ptinsE   
 

Uses of IVarAbstraction in soot.jimple.spark.geom.geomE
 

Subclasses of IVarAbstraction in soot.jimple.spark.geom.geomE
 class FullSensitiveNode
           
 

Methods in soot.jimple.spark.geom.geomE that return IVarAbstraction
 IVarAbstraction FullSensitiveNodeGenerator.generateNode(Node vNode)
           
 IVarAbstraction FullSensitiveNodeGenerator.generateNode(Node vNode)
           
 

Methods in soot.jimple.spark.geom.geomE with parameters of type IVarAbstraction
 boolean FullSensitiveNode.add_flow_to_edge(int code, IVarAbstraction qv)
           
 boolean FullSensitiveNode.add_flow_to_edge(int code, IVarAbstraction qv)
           
 boolean FullSensitiveNode.add_simple_constraint_3(IVarAbstraction qv, long I1, long I2, long L)
           
 boolean FullSensitiveNode.add_simple_constraint_3(IVarAbstraction qv, long I1, long I2, long L)
           
 boolean FullSensitiveNode.add_simple_constraint_4(IVarAbstraction qv, long I1, long I2, long L1, long L2)
           
 boolean FullSensitiveNode.add_simple_constraint_4(IVarAbstraction qv, long I1, long I2, long L1, long L2)
           
 int FullSensitiveNode.count_flow_intervals(IVarAbstraction qv)
           
 int FullSensitiveNode.count_flow_intervals(IVarAbstraction qv)
           
 boolean FullSensitiveNode.heap_sensitive_intersection(IVarAbstraction qv)
           
 boolean FullSensitiveNode.heap_sensitive_intersection(IVarAbstraction qv)
           
 

Uses of IVarAbstraction in soot.jimple.spark.geom.geomPA
 

Subclasses of IVarAbstraction in soot.jimple.spark.geom.geomPA
 class DummyNode
           
 

Fields in soot.jimple.spark.geom.geomPA declared as IVarAbstraction
 IVarAbstraction PlainConstraint.otherSide
          Used in complex constraint.
 IVarAbstraction PlainConstraint.otherSide
          Used in complex constraint.
 

Fields in soot.jimple.spark.geom.geomPA with type parameters of type IVarAbstraction
 ZArrayNumberer<IVarAbstraction> GeomPointsTo.allocations
           
 ZArrayNumberer<IVarAbstraction> GeomPointsTo.allocations
           
 Map<Node,IVarAbstraction> GeomPointsTo.consG
           
 Map<Node,IVarAbstraction> GeomPointsTo.consG
           
 Pair<IVarAbstraction,IVarAbstraction> PlainConstraint.expr
          The two pointers involved in this constraint
 Pair<IVarAbstraction,IVarAbstraction> PlainConstraint.expr
          The two pointers involved in this constraint
 Pair<IVarAbstraction,IVarAbstraction> PlainConstraint.expr
          The two pointers involved in this constraint
 Pair<IVarAbstraction,IVarAbstraction> PlainConstraint.expr
          The two pointers involved in this constraint
 ZArrayNumberer<IVarAbstraction> GeomPointsTo.pointers
           
 ZArrayNumberer<IVarAbstraction> GeomPointsTo.pointers
           
 

Methods in soot.jimple.spark.geom.geomPA that return IVarAbstraction
 IVarAbstraction GeomPointsTo.findAndInsertInstanceField(AllocNode obj, SparkField field)
           
 IVarAbstraction GeomPointsTo.findAndInsertInstanceField(AllocNode obj, SparkField field)
           
abstract  IVarAbstraction IEncodingBroker.generateNode(Node v)
          Generate a node of proper kind.
abstract  IVarAbstraction IEncodingBroker.generateNode(Node v)
          Generate a node of proper kind.
 IVarAbstraction GeomPointsTo.getInternalNode(Node v)
           
 IVarAbstraction GeomPointsTo.getInternalNode(Node v)
           
 IVarAbstraction IVarAbstraction.getRepresentative()
           
 IVarAbstraction IVarAbstraction.getRepresentative()
           
 IVarAbstraction IVarAbstraction.merge(IVarAbstraction other)
           
 IVarAbstraction IVarAbstraction.merge(IVarAbstraction other)
           
 IVarAbstraction FIFO_Worklist.next()
           
 IVarAbstraction IWorklist.next()
           
 IVarAbstraction PQ_Worklist.next()
           
 IVarAbstraction PQ_Worklist.next()
           
 IVarAbstraction IWorklist.next()
           
 IVarAbstraction FIFO_Worklist.next()
           
 

Methods in soot.jimple.spark.geom.geomPA with parameters of type IVarAbstraction
 boolean DummyNode.add_simple_constraint_3(IVarAbstraction qv, long I1, long I2, long L)
           
abstract  boolean IVarAbstraction.add_simple_constraint_3(IVarAbstraction qv, long I1, long I2, long L)
           
abstract  boolean IVarAbstraction.add_simple_constraint_3(IVarAbstraction qv, long I1, long I2, long L)
           
 boolean DummyNode.add_simple_constraint_3(IVarAbstraction qv, long I1, long I2, long L)
           
 boolean DummyNode.add_simple_constraint_4(IVarAbstraction qv, long I1, long I2, long L1, long L2)
           
abstract  boolean IVarAbstraction.add_simple_constraint_4(IVarAbstraction qv, long I1, long I2, long L1, long L2)
           
abstract  boolean IVarAbstraction.add_simple_constraint_4(IVarAbstraction qv, long I1, long I2, long L1, long L2)
           
 boolean DummyNode.add_simple_constraint_4(IVarAbstraction qv, long I1, long I2, long L1, long L2)
           
 int DummyNode.count_flow_intervals(IVarAbstraction qv)
           
abstract  int IVarAbstraction.count_flow_intervals(IVarAbstraction qv)
           
abstract  int IVarAbstraction.count_flow_intervals(IVarAbstraction qv)
           
 int DummyNode.count_flow_intervals(IVarAbstraction qv)
           
 boolean DummyNode.heap_sensitive_intersection(IVarAbstraction qv)
           
abstract  boolean IVarAbstraction.heap_sensitive_intersection(IVarAbstraction qv)
           
abstract  boolean IVarAbstraction.heap_sensitive_intersection(IVarAbstraction qv)
           
 boolean DummyNode.heap_sensitive_intersection(IVarAbstraction qv)
           
 boolean IVarAbstraction.lessThan(IVarAbstraction other)
           
 boolean IVarAbstraction.lessThan(IVarAbstraction other)
           
 IVarAbstraction IVarAbstraction.merge(IVarAbstraction other)
           
 IVarAbstraction IVarAbstraction.merge(IVarAbstraction other)
           
 void FIFO_Worklist.push(IVarAbstraction pv)
           
 void IWorklist.push(IVarAbstraction p)
           
 void PQ_Worklist.push(IVarAbstraction e)
           
 void PQ_Worklist.push(IVarAbstraction e)
           
 void IWorklist.push(IVarAbstraction p)
           
 void FIFO_Worklist.push(IVarAbstraction pv)
           
 

Uses of IVarAbstraction in soot.jimple.spark.geom.heapinsE
 

Subclasses of IVarAbstraction in soot.jimple.spark.geom.heapinsE
 class HeapInsNode
          Constraints graph node, each node represents a variable
 

Methods in soot.jimple.spark.geom.heapinsE that return IVarAbstraction
 IVarAbstraction HeapInsNodeGenerator.generateNode(Node vNode)
           
 IVarAbstraction HeapInsNodeGenerator.generateNode(Node vNode)
           
 

Methods in soot.jimple.spark.geom.heapinsE with parameters of type IVarAbstraction
 boolean HeapInsNode.add_simple_constraint_3(IVarAbstraction qv, long I1, long I2, long L)
           
 boolean HeapInsNode.add_simple_constraint_3(IVarAbstraction qv, long I1, long I2, long L)
           
 boolean HeapInsNode.add_simple_constraint_4(IVarAbstraction qv, long I1, long I2, long L1, long L2)
           
 boolean HeapInsNode.add_simple_constraint_4(IVarAbstraction qv, long I1, long I2, long L1, long L2)
           
 int HeapInsNode.count_flow_intervals(IVarAbstraction qv)
           
 int HeapInsNode.count_flow_intervals(IVarAbstraction qv)
           
 boolean HeapInsNode.heap_sensitive_intersection(IVarAbstraction qv)
          Query if this pointer and qv could point to the same object under any contexts
 boolean HeapInsNode.heap_sensitive_intersection(IVarAbstraction qv)
          Query if this pointer and qv could point to the same object under any contexts
 

Uses of IVarAbstraction in soot.jimple.spark.geom.ptinsE
 

Subclasses of IVarAbstraction in soot.jimple.spark.geom.ptinsE
 class PtInsNode
           
 

Methods in soot.jimple.spark.geom.ptinsE that return IVarAbstraction
 IVarAbstraction PtInsNodeGenerator.generateNode(Node vNode)
           
 IVarAbstraction PtInsNodeGenerator.generateNode(Node vNode)
           
 

Methods in soot.jimple.spark.geom.ptinsE with parameters of type IVarAbstraction
 boolean PtInsNode.add_simple_constraint_3(IVarAbstraction qv, long I1, long I2, long L)
           
 boolean PtInsNode.add_simple_constraint_3(IVarAbstraction qv, long I1, long I2, long L)
           
 boolean PtInsNode.add_simple_constraint_4(IVarAbstraction qv, long I1, long I2, long L1, long L2)
           
 boolean PtInsNode.add_simple_constraint_4(IVarAbstraction qv, long I1, long I2, long L1, long L2)
           
 int PtInsNode.count_flow_intervals(IVarAbstraction qv)
           
 int PtInsNode.count_flow_intervals(IVarAbstraction qv)
           
 boolean PtInsNode.heap_sensitive_intersection(IVarAbstraction qv)
          Query if this pointer and qv could point to the same object under any contexts
 boolean PtInsNode.heap_sensitive_intersection(IVarAbstraction qv)
          Query if this pointer and qv could point to the same object under any contexts