| Class | Description |
|---|---|
| ClassUtils |
A utility class used during discovering of static regions.
|
| ExprUtil |
A utility class that provides some methods from SPF to Green and vise versa.
|
| FailEntry | |
| JITAnalysis | |
| Pair<T,V> |
Base class that this used to pair any two types.
|
| ReflectUtil | |
| RegionHitExactHeuristic | |
| RegionMetricsVisitor | |
| RegionStatistics | |
| SimplifyGreenVisitor | |
| SpfUtil |
This class provides some utility methods for SPF.
|
| StatisticManager | |
| SymbCondVisitor |
Visits expression in a conditional statement to check if any of its arguments are indeed symbolic.
|
| Triple<T,V,K> |
Base class that this used to pair any three types.
|
| WalaUtil |
This class provides some utility methods for Wala.
|
| Enum | Description |
|---|---|
| ExprUtil.SatResult | |
| FailEntry.FailReason |