|
||||||||||
| PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES | |||||||||
| 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 | |
|
||||||||||
| PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES | |||||||||