| 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 |
| Modifier and Type | Method and Description |
|---|---|
static FieldCheckHeuristic |
HeuristicType.getHeuristic(HeuristicType type,
TypeManager tm,
int maxPasses) |
| Constructor and Description |
|---|
IncrementalTypesHeuristic(TypeManager manager) |
InnerTypesIncrementalHeuristic(TypeManager manager,
int maxPasses) |
ManualAndInnerHeuristic(TypeManager tm,
int maxPasses) |
| Modifier and Type | Method and Description |
|---|---|
void |
AllocationSiteHandler.CastCheckHandler.setManager(TypeManager manager) |
| Modifier and Type | Field and Description |
|---|---|
protected TypeManager |
PAG.typeManager |
| Modifier and Type | Method and Description |
|---|---|
TypeManager |
PAG.getTypeManager() |
| Modifier and Type | Field and Description |
|---|---|
protected TypeManager |
SCCCollapser.typeManager |
Copyright © 2020 Soot OSS. All rights reserved.