com.ibm.wala.ipa.callgraph.propagation

Class ReflectionHandler

java.lang.Object

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

public class ReflectionHandler
extends 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

Methods

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 IllegalArgumentException,
                                      com.ibm.wala.util.CancelException

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

Parameters:

monitor -

Returns:

true if anything has changed

Throws:

com.ibm.wala.util.CancelException

IllegalArgumentException