Package org.scandroid.flow.functions

Class GlobalIdentityFunction<E extends ISSABasicBlock>

java.lang.Object

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

All Implemented Interfaces:

IFlowFunction, IUnaryFlowFunction

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

Flow function that only permits globals - and the zero element - to flow through

Author:

creswick

Constructor Summary

Constructors

Constructor	Description
GlobalIdentityFunction(IFDSTaintDomain<E> domain)

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

GlobalIdentityFunction

public GlobalIdentityFunction(IFDSTaintDomain<E> domain)

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