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 |