|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
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 |
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |