Uses of Class
soot.jimple.spark.ondemand.HeuristicType

Packages that use HeuristicType

soot.jimple.spark.ondemand

Uses of HeuristicType in soot.jimple.spark.ondemand

Fields in soot.jimple.spark.ondemand declared as HeuristicType

protected HeuristicType	DemandCSPointsTo.heuristicType
protected HeuristicType	DemandCSPointsTo.heuristicType

Methods in soot.jimple.spark.ondemand that return HeuristicType

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.

Methods in soot.jimple.spark.ondemand with parameters of type HeuristicType

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)