Package soot.jimple.spark.ondemand
-
Interface Summary Interface Description FieldCheckHeuristic -
Class Summary Class 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 DotPointerGraph you can just add edges and then dump them as a dot graphEverythingHeuristic IncrementalTypesHeuristic InnerTypesIncrementalHeuristic LazyContextSensitivePointsToSet This is a lazy points-to set that is potentially context sensitive.ManualAndInnerHeuristic ManualFieldCheckHeuristic for hacking around with stuffNothingHeuristic WrappedPointsToSet -
Enum Summary Enum Description HeuristicType -
Exception Summary Exception Description CallSiteException TerminateEarlyException