|
Class Summary |
| CustomizedDemandCSPointsTo |
A special version of DemandCSPointsTo that first queries the on demand analysis with call graph refinement and in case it fails
then tries again without refinement. |
| OptFlowInsensitiveAnalysis |
A reweaving analysis that executes the flow-insensitive analysis
as described in our ECOOP 2007 paper. |
| OptIntraProcedural |
A reweaving analysis that executes the intra-procedural analysis
as described in our upcoming POPL 2008 paper. |
| OptQuickCheck |
A reweaving analysis that executes the quick-check
as described in our ECOOP 2007 paper. |
| ReachingActiveShadowsAnalysis |
For each unit in a given unit graph, computes the set of active shadows that may reach this unit, i.e. |
| ShadowUtils |
Some utility methods for looking up shadows. |
| Statistics |
|
| Statistics.Record |
|