Package com.ibm.wala.demandpa.util
Class PointerParamValueNumIterator
java.lang.Object
com.ibm.wala.demandpa.util.PointerParamValueNumIterator
Iterates over the value numbers of the pointer parameters of a method.
- Author:
- Manu Sridharan
-
Constructor Details
-
PointerParamValueNumIterator
- Throws:
IllegalArgumentException
-
-
Method Details