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 |