| Interface | Description |
|---|---|
| FieldCheckHeuristic |
| 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 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 | Description |
|---|---|
| HeuristicType |
| Exception | Description |
|---|---|
| CallSiteException | |
| TerminateEarlyException |