Package org.scandroid.flow.functions

Class GlobalReturnToNodeFunction<E extends ISSABasicBlock>

java.lang.Object

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

All Implemented Interfaces:

IFlowFunction, IUnaryFlowFunction

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

Propagates heap information from InstanceKeys to the LocalElements that point to those keys

Author:

acfoltzer

Constructor Summary

Constructors

Constructor	Description
GlobalReturnToNodeFunction(IFDSTaintDomain<E> domain, PointerAnalysis<InstanceKey> pa, CGNode node)

Method Summary

Modifier and Type	Method	Description
IntSet	getTargets(int d)

Methods inherited from class java.lang.Object

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

Constructor Details

GlobalReturnToNodeFunction

public GlobalReturnToNodeFunction(IFDSTaintDomain<E> domain,
 PointerAnalysis<InstanceKey> pa,
 CGNode node)

Method Details

getTargets

public IntSet getTargets(int d)

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