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

Constructors

Constructor and Description
ReflectionHandler(PropagationCallGraphBuilder builder)

Method Summary

Modifier and Type	Method and Description
protected boolean	updateForReflection(com.ibm.wala.util.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(com.ibm.wala.util.MonitorUtil.IProgressMonitor monitor)
                               throws java.lang.IllegalArgumentException,
                                      com.ibm.wala.util.CancelException

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

Returns:

true if anything has changed

Throws:

java.lang.IllegalArgumentException

com.ibm.wala.util.CancelException