Class ReflectionHandler
java.lang.Object
com.ibm.wala.ipa.callgraph.propagation.ReflectionHandler
A helper class which can modify a
PropagationCallGraphBuilder
to deal with reflective
factory methods.-
Constructor Summary
-
Method Summary
Modifier and TypeMethodDescriptionprotected boolean
update the pointer analysis solver based on flow of reflective factory results to checkcasts
-
Constructor Details
-
ReflectionHandler
-
-
Method Details
-
updateForReflection
protected boolean updateForReflection(MonitorUtil.IProgressMonitor monitor) throws IllegalArgumentException, CancelException update the pointer analysis solver based on flow of reflective factory results to checkcasts- Returns:
- true if anything has changed
- Throws:
IllegalArgumentException
CancelException
-