Package | Description |
---|---|
soot.jimple.spark.geom.dataMgr | |
soot.jimple.spark.geom.dataRep |
Modifier and Type | Class and Description |
---|---|
class |
PtSensVisitor<VarType extends ContextVar>
A container for storing context sensitive querying result of geomPTA.
|
class |
PtSensVisitor<VarType extends ContextVar>
A container for storing context sensitive querying result of geomPTA.
|
Modifier and Type | Class and Description |
---|---|
class |
CallsiteContextVar
A general interface for generating the traditional context sensitive variable representation.
|
class |
IntervalContextVar
A particular class to encode contexts in interval manner.
|
Modifier and Type | Method and Description |
---|---|
boolean |
CallsiteContextVar.contains(ContextVar cv) |
abstract boolean |
ContextVar.contains(ContextVar cv)
Test if current context variable contains the information for passed in variable
|
boolean |
IntervalContextVar.contains(ContextVar cv) |
boolean |
CallsiteContextVar.contains(ContextVar cv) |
abstract boolean |
ContextVar.contains(ContextVar cv)
Test if current context variable contains the information for passed in variable
|
boolean |
IntervalContextVar.contains(ContextVar cv) |
boolean |
CallsiteContextVar.intersect(ContextVar cv) |
abstract boolean |
ContextVar.intersect(ContextVar cv)
Two context sensitive variables have intersected contexts.
|
boolean |
IntervalContextVar.intersect(ContextVar cv) |
boolean |
CallsiteContextVar.intersect(ContextVar cv) |
abstract boolean |
ContextVar.intersect(ContextVar cv)
Two context sensitive variables have intersected contexts.
|
boolean |
IntervalContextVar.intersect(ContextVar cv) |
boolean |
CallsiteContextVar.merge(ContextVar cv) |
abstract boolean |
ContextVar.merge(ContextVar cv)
Merge two context variables if possible
Merged information is written into current variable.
|
boolean |
IntervalContextVar.merge(ContextVar cv) |
boolean |
CallsiteContextVar.merge(ContextVar cv) |
abstract boolean |
ContextVar.merge(ContextVar cv)
Merge two context variables if possible
Merged information is written into current variable.
|
boolean |
IntervalContextVar.merge(ContextVar cv) |