Package | Description |
---|---|
soot.jimple.spark.ondemand |
Modifier and Type | Field and Description |
---|---|
protected HeuristicType |
DemandCSPointsTo.heuristicType |
protected HeuristicType |
DemandCSPointsTo.heuristicType |
Modifier and Type | Method and Description |
---|---|
HeuristicType |
DemandCSPointsTo.getHeuristicType() |
HeuristicType |
DemandCSPointsTo.getHeuristicType() |
static HeuristicType |
HeuristicType.valueOf(String name)
Returns the enum constant of this type with the specified name.
|
static HeuristicType |
HeuristicType.valueOf(String name)
Returns the enum constant of this type with the specified name.
|
static HeuristicType[] |
HeuristicType.values()
Returns an array containing the constants of this enum type, in
the order they are declared.
|
static HeuristicType[] |
HeuristicType.values()
Returns an array containing the constants of this enum type, in
the order they are declared.
|
Modifier and Type | Method and Description |
---|---|
protected boolean |
DemandCSPointsTo.checkP2Set(VarNode v,
HeuristicType heuristic,
Predicate<Set<AllocAndContext>> p2setPred)
check the computed points-to set of a variable against some predicate
|
protected boolean |
DemandCSPointsTo.checkP2Set(VarNode v,
HeuristicType heuristic,
Predicate<Set<AllocAndContext>> p2setPred)
check the computed points-to set of a variable against some predicate
|
protected Set<VarNode> |
DemandCSPointsTo.computeFlowsTo(AllocNode alloc,
HeuristicType heuristic)
compute a flows-to set for an allocation site.
|
protected Set<VarNode> |
DemandCSPointsTo.computeFlowsTo(AllocNode alloc,
HeuristicType heuristic)
compute a flows-to set for an allocation site.
|
static FieldCheckHeuristic |
HeuristicType.getHeuristic(HeuristicType type,
TypeManager tm,
int maxPasses) |
static FieldCheckHeuristic |
HeuristicType.getHeuristic(HeuristicType type,
TypeManager tm,
int maxPasses) |
protected boolean |
DemandCSPointsTo.refineAlias(VarNode v1,
VarNode v2,
PointsToSetInternal intersection,
HeuristicType heuristic) |
protected boolean |
DemandCSPointsTo.refineAlias(VarNode v1,
VarNode v2,
PointsToSetInternal intersection,
HeuristicType heuristic) |
protected boolean |
DemandCSPointsTo.refineAliasInternal(VarNode v1,
VarNode v2,
PointsToSetInternal intersection,
HeuristicType heuristic) |
protected boolean |
DemandCSPointsTo.refineAliasInternal(VarNode v1,
VarNode v2,
PointsToSetInternal intersection,
HeuristicType heuristic) |
protected boolean |
DemandCSPointsTo.refineP2Set(VarNode v,
PointsToSetInternal badLocs,
HeuristicType heuristic) |
protected boolean |
DemandCSPointsTo.refineP2Set(VarNode v,
PointsToSetInternal badLocs,
HeuristicType heuristic) |
void |
DemandCSPointsTo.setHeuristicType(HeuristicType heuristicType) |
void |
DemandCSPointsTo.setHeuristicType(HeuristicType heuristicType) |