Package | Description |
---|---|
soot.jimple.spark.geom.dataMgr | |
soot.jimple.spark.geom.geomE | |
soot.jimple.spark.geom.geomPA | |
soot.jimple.spark.geom.heapinsE | |
soot.jimple.spark.geom.ptinsE |
Modifier and Type | Class and Description |
---|---|
class |
Obj_full_extractor
Extracts the full context sensitive points-to result.
|
Modifier and Type | Method and Description |
---|---|
boolean |
PtSensVisitor.hasNonEmptyIntersection(PtSensVisitor<VarType> other)
Tests if two containers have contain same things.
|
boolean |
PtSensVisitor.hasNonEmptyIntersection(PtSensVisitor<VarType> other)
Tests if two containers have contain same things.
|
Modifier and Type | Method and Description |
---|---|
void |
FullSensitiveNode.get_all_context_sensitive_objects(long l,
long r,
PtSensVisitor visitor) |
void |
FullSensitiveNode.get_all_context_sensitive_objects(long l,
long r,
PtSensVisitor visitor) |
Modifier and Type | Method and Description |
---|---|
boolean |
GeomQueries.contexsByAnyCallEdge(Edge sootEdge,
Local l,
PtSensVisitor visitor)
Deprecated.
|
boolean |
GeomQueries.contexsByAnyCallEdge(Edge sootEdge,
Local l,
PtSensVisitor visitor)
Deprecated.
|
boolean |
GeomQueries.contextsByAnyCallEdge(Edge sootEdge,
Local l,
SparkField field,
PtSensVisitor visitor)
Deprecated.
|
boolean |
GeomQueries.contextsByAnyCallEdge(Edge sootEdge,
Local l,
SparkField field,
PtSensVisitor visitor)
Deprecated.
|
boolean |
GeomQueries.contextsByCallChain(Edge[] callEdgeChain,
Local l,
PtSensVisitor visitor)
Deprecated.
|
boolean |
GeomQueries.contextsByCallChain(Edge[] callEdgeChain,
Local l,
PtSensVisitor visitor)
Deprecated.
|
boolean |
GeomQueries.contextsByCallChain(Edge[] callEdgeChain,
Local l,
SparkField field,
PtSensVisitor visitor)
Deprecated.
|
boolean |
GeomQueries.contextsByCallChain(Edge[] callEdgeChain,
Local l,
SparkField field,
PtSensVisitor visitor)
Deprecated.
|
boolean |
GeomQueries.contextsGoBy(Edge sootEdge,
Local l,
PtSensVisitor visitor)
Answer contexts-go-by query.
|
boolean |
GeomQueries.contextsGoBy(Edge sootEdge,
Local l,
PtSensVisitor visitor)
Answer contexts-go-by query.
|
boolean |
GeomQueries.contextsGoBy(Edge sootEdge,
Local l,
SparkField field,
PtSensVisitor visitor)
Searching the points-to results for field expression such as p.f.
|
boolean |
GeomQueries.contextsGoBy(Edge sootEdge,
Local l,
SparkField field,
PtSensVisitor visitor)
Searching the points-to results for field expression such as p.f.
|
void |
DummyNode.get_all_context_sensitive_objects(long l,
long r,
PtSensVisitor visitor) |
abstract void |
IVarAbstraction.get_all_context_sensitive_objects(long l,
long r,
PtSensVisitor visitor)
Given the pointers falling in the context range [l, r), we compute the set of context sensitive objects pointed to by those pointers.
|
void |
DummyNode.get_all_context_sensitive_objects(long l,
long r,
PtSensVisitor visitor) |
abstract void |
IVarAbstraction.get_all_context_sensitive_objects(long l,
long r,
PtSensVisitor visitor)
Given the pointers falling in the context range [l, r), we compute the set of context sensitive objects pointed to by those pointers.
|
boolean |
GeomQueries.kCFA(Edge[] callEdgeChain,
Local l,
PtSensVisitor visitor)
Standard K-CFA querying for arbitrary K.
|
boolean |
GeomQueries.kCFA(Edge[] callEdgeChain,
Local l,
PtSensVisitor visitor)
Standard K-CFA querying for arbitrary K.
|
boolean |
GeomQueries.kCFA(Edge[] callEdgeChain,
Local l,
SparkField field,
PtSensVisitor visitor)
Standard K-CFA querying for field expression.
|
boolean |
GeomQueries.kCFA(Edge[] callEdgeChain,
Local l,
SparkField field,
PtSensVisitor visitor)
Standard K-CFA querying for field expression.
|
Modifier and Type | Method and Description |
---|---|
void |
HeapInsNode.get_all_context_sensitive_objects(long l,
long r,
PtSensVisitor visitor) |
void |
HeapInsNode.get_all_context_sensitive_objects(long l,
long r,
PtSensVisitor visitor) |
Modifier and Type | Method and Description |
---|---|
void |
PtInsNode.get_all_context_sensitive_objects(long l,
long r,
PtSensVisitor visitor)
Deprecated.
|
void |
PtInsNode.get_all_context_sensitive_objects(long l,
long r,
PtSensVisitor visitor)
Deprecated.
|