Class ConstantFlowFunction<E extends ISSABasicBlock>

java.lang.Object

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

All Implemented Interfaces:

IFlowFunction, IUnaryFlowFunction

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

A flow function which maps the zero fact to a set of new dataflow facts, essentially introducing them from nothing. Identity for all other facts.

Author:

acfoltzer

Constructor Summary

Constructors

Constructor	Description
ConstantFlowFunction(IFDSTaintDomain<E> domain, Set<DomainElement> elts)

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

ConstantFlowFunction

public ConstantFlowFunction(IFDSTaintDomain<E> domain,
 Set<DomainElement> elts)

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