|
|||||||||
| PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES | ||||||||
| Class Summary | |
|---|---|
| CompareToZeroOneCFADriver | Driver that tests analysis results against ZeroOneCFA analysis. |
| DemandCastChecker | Uses a demand-driven points-to analysis to check the safety of downcasts. |
| TestAgainstSimpleDriver | Driver that tests a pointer analysis results against the results of
SimpleDemandPointsTo. |
| WalaUtil | Various utility methods for working with WALA. |
|
|||||||||
| PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES | ||||||||