Package soot.jimple.spark.ondemand

Interface Summary
FieldCheckHeuristic  
 

Class Summary
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 graph
EverythingHeuristic  
IncrementalTypesHeuristic  
InnerTypesIncrementalHeuristic  
LazyContextSensitivePointsToSet This is a lazy points-to set that is potentially context sensitive.
ManualAndInnerHeuristic  
ManualFieldCheckHeuristic for hacking around with stuff
NothingHeuristic  
WrappedPointsToSet  
 

Enum Summary
HeuristicType  
 

Exception Summary
CallSiteException  
TerminateEarlyException