Package boomerang.callgraph

Class BoomerangResolver

java.lang.Object

boomerang.callgraph.BoomerangResolver

All Implemented Interfaces:

ICallerCalleeResolutionStrategy

public class BoomerangResolver
extends Object
implements ICallerCalleeResolutionStrategy

Nested Class Summary

Nested Classes

Modifier and Type	Class	Description
static class	BoomerangResolver.NoCalleeFoundFallbackOptions

Nested classes/interfaces inherited from interface boomerang.callgraph.ICallerCalleeResolutionStrategy

ICallerCalleeResolutionStrategy.Factory

Field Summary

Fields

Modifier and Type	Field	Description
static ICallerCalleeResolutionStrategy.Factory	FACTORY

Constructor Summary

Constructors

Constructor	Description
BoomerangResolver(CallGraph cg, DataFlowScope scope)
BoomerangResolver(WeightedBoomerang<? extends wpds.impl.Weight> solver, boolean enableExceptions, CallGraph initialCallGraph)
BoomerangResolver(WeightedBoomerang<? extends wpds.impl.Weight> solver, CallGraph initialCallGraph)

Method Summary

Modifier and Type	Method	Description
void	computeFallback(ObservableDynamicICFG observableDynamicICFG)
Collection<Method>	resolveInstanceInvoke(Statement stmt)
Method	resolveSpecialInvoke(InvokeExpr ie)
Method	resolveStaticInvoke(InvokeExpr ie)

Methods inherited from class java.lang.Object

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

Field Detail

FACTORY

public static final ICallerCalleeResolutionStrategy.Factory FACTORY

Constructor Detail

BoomerangResolver

public BoomerangResolver(CallGraph cg,
                         DataFlowScope scope)

BoomerangResolver

public BoomerangResolver(WeightedBoomerang<? extends wpds.impl.Weight> solver,
                         CallGraph initialCallGraph)

BoomerangResolver

public BoomerangResolver(WeightedBoomerang<? extends wpds.impl.Weight> solver,
                         boolean enableExceptions,
                         CallGraph initialCallGraph)

Method Detail

computeFallback

public void computeFallback(ObservableDynamicICFG observableDynamicICFG)

Specified by:

computeFallback in interface ICallerCalleeResolutionStrategy

resolveSpecialInvoke

public Method resolveSpecialInvoke(InvokeExpr ie)

Specified by:

resolveSpecialInvoke in interface ICallerCalleeResolutionStrategy

resolveStaticInvoke

public Method resolveStaticInvoke(InvokeExpr ie)

Specified by:

resolveStaticInvoke in interface ICallerCalleeResolutionStrategy

resolveInstanceInvoke

public Collection<Method> resolveInstanceInvoke(Statement stmt)

Specified by:

resolveInstanceInvoke in interface ICallerCalleeResolutionStrategy