| Package | Description |
|---|---|
| soot.jimple.spark.ondemand |
| Class and Description |
|---|
| AllocAndContext |
| AllocAndContextSet |
| DemandCSPointsTo
Tries to find imprecision in points-to sets from a previously run analysis.
|
| DemandCSPointsTo.AllocAndContextCache |
| DemandCSPointsTo.CallingContextSet |
| DemandCSPointsTo.CallSiteAndContext |
| DemandCSPointsTo.CallSiteToTargetsMap |
| DemandCSPointsTo.IncomingEdgeHandler |
| DemandCSPointsTo.VarAndContext |
| DemandCSPointsTo.VarContextAndUp |
| FieldCheckHeuristic |
| HeuristicType |