Class DemandCastChecker
java.lang.Object
com.ibm.wala.examples.drivers.DemandCastChecker
Uses a demand-driven points-to analysis to check the safety of downcasts.
- Author:
- Manu Sridharan
-
Constructor Summary
Constructors -
Method Summary
-
Constructor Details
-
DemandCastChecker
public DemandCastChecker()
-
-
Method Details
-
main
- Throws:
IllegalArgumentExceptionIOException
-
runTestCase
public static void runTestCase(String mainClass, String scopeFile, String benchName) throws IllegalArgumentException, IOException - Throws:
IllegalArgumentExceptionIOException
-