com.ibm.wala.ipa.callgraph.propagation
Class ReflectionHandler

java.lang.Object
  com.ibm.wala.ipa.callgraph.propagation.ReflectionHandler

public class ReflectionHandler
extends java.lang.Object

a helper class which can modify a PropagationCallGraphBuilder to deal with reflective factory methods.

Constructor Summary

ReflectionHandler(PropagationCallGraphBuilder builder)

Method Summary

protected boolean

updateForReflection(MonitorUtil.IProgressMonitor monitor) update the pointer analysis solver based on flow of reflective factory results to checkcasts

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

ReflectionHandler

public ReflectionHandler(PropagationCallGraphBuilder builder)

Method Detail

updateForReflection

protected boolean updateForReflection(MonitorUtil.IProgressMonitor monitor)
                               throws java.lang.IllegalArgumentException,
                                      CancelException

update the pointer analysis solver based on flow of reflective factory results to checkcasts

Parameters:

monitor -

Returns:

true if anything has changed

Throws:

CancelException

java.lang.IllegalArgumentException