Uses of Class
soot.jimple.spark.ondemand.HeuristicType
-
Packages that use HeuristicType Package Description soot.jimple.spark.ondemand -
-
Uses of HeuristicType in soot.jimple.spark.ondemand
Fields in soot.jimple.spark.ondemand declared as HeuristicType Modifier and Type Field Description protected HeuristicTypeDemandCSPointsTo. heuristicTypeMethods in soot.jimple.spark.ondemand that return HeuristicType Modifier and Type Method Description HeuristicTypeDemandCSPointsTo. getHeuristicType()static HeuristicTypeHeuristicType. 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.Methods in soot.jimple.spark.ondemand with parameters of type HeuristicType Modifier and Type Method Description protected booleanDemandCSPointsTo. checkP2Set(VarNode v, HeuristicType heuristic, Predicate<Set<AllocAndContext>> p2setPred)check the computed points-to set of a variable against some predicateprotected Set<VarNode>DemandCSPointsTo. computeFlowsTo(AllocNode alloc, HeuristicType heuristic)compute a flows-to set for an allocation site.static FieldCheckHeuristicHeuristicType. getHeuristic(HeuristicType type, TypeManager tm, int maxPasses)protected booleanDemandCSPointsTo. refineAlias(VarNode v1, VarNode v2, PointsToSetInternal intersection, HeuristicType heuristic)protected booleanDemandCSPointsTo. refineAliasInternal(VarNode v1, VarNode v2, PointsToSetInternal intersection, HeuristicType heuristic)protected booleanDemandCSPointsTo. refineP2Set(VarNode v, PointsToSetInternal badLocs, HeuristicType heuristic)voidDemandCSPointsTo. setHeuristicType(HeuristicType heuristicType)
-