Package | Description |
---|---|
soot.jimple.spark.geom.geomPA | |
soot.jimple.spark.ondemand | |
soot.jimple.spark.ondemand.pautil | |
soot.jimple.spark.pag | |
soot.jimple.spark.solver |
Modifier and Type | Field and Description |
---|---|
protected TypeManager |
GeomPointsTo.typeManager |
protected TypeManager |
GeomPointsTo.typeManager |
Modifier and Type | Method and Description |
---|---|
static FieldCheckHeuristic |
HeuristicType.getHeuristic(HeuristicType type,
TypeManager tm,
int maxPasses) |
static FieldCheckHeuristic |
HeuristicType.getHeuristic(HeuristicType type,
TypeManager tm,
int maxPasses) |
Constructor and Description |
---|
IncrementalTypesHeuristic(TypeManager manager) |
IncrementalTypesHeuristic(TypeManager manager) |
InnerTypesIncrementalHeuristic(TypeManager manager,
int maxPasses) |
InnerTypesIncrementalHeuristic(TypeManager manager,
int maxPasses) |
ManualAndInnerHeuristic(TypeManager tm,
int maxPasses) |
ManualAndInnerHeuristic(TypeManager tm,
int maxPasses) |
Modifier and Type | Method and Description |
---|---|
void |
AllocationSiteHandler.CastCheckHandler.setManager(TypeManager manager) |
void |
AllocationSiteHandler.CastCheckHandler.setManager(TypeManager manager) |
Modifier and Type | Field and Description |
---|---|
protected TypeManager |
PAG.typeManager |
protected TypeManager |
PAG.typeManager |
Modifier and Type | Method and Description |
---|---|
TypeManager |
PAG.getTypeManager() |
TypeManager |
PAG.getTypeManager() |
Modifier and Type | Field and Description |
---|---|
protected TypeManager |
SCCCollapser.typeManager |
protected TypeManager |
SCCCollapser.typeManager |