Package org.scandroid.flow.functions

Class ReturnFlowFunction<E extends ISSABasicBlock>

java.lang.Object

org.scandroid.flow.functions.ReturnFlowFunction<E>

All Implemented Interfaces:

IFlowFunction, IUnaryFlowFunction

public class ReturnFlowFunction<E extends ISSABasicBlock>
extends Object
implements IUnaryFlowFunction

Author:

creswick

Constructor Summary

Constructors

Constructor	Description
ReturnFlowFunction(IFDSTaintDomain<E> domain, int def)

Method Summary

Modifier and Type	Method	Description
IntSet	getTargets(int d1)

Methods inherited from class java.lang.Object

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

Constructor Details

ReturnFlowFunction

public ReturnFlowFunction(IFDSTaintDomain<E> domain,
 int def)

Parameters:

def - of the invoke instruction we're returning to

Method Details

getTargets

public IntSet getTargets(int d1)

Specified by:

getTargets in interface IUnaryFlowFunction

Returns:

set of d2 such that (d1,d2) is an edge in this distributive function's graph representation, or null if there are none