Package org.scandroid.flow.functions

Class IFDSTaintFlowFunctionProvider<E extends ISSABasicBlock>

java.lang.Object

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

All Implemented Interfaces:

IFlowFunctionMap<BasicBlockInContext<E>>

@Deprecated
public class IFDSTaintFlowFunctionProvider<E extends ISSABasicBlock>
extends Object
implements IFlowFunctionMap<BasicBlockInContext<E>>

Deprecated.

Replaced by TaintTransferFunctions.

Nested Class Summary

Nested Classes

Modifier and Type	Class	Description
class	IFDSTaintFlowFunctionProvider.ReturnDefUse	Deprecated.

Constructor Summary

Constructors

Constructor	Description
IFDSTaintFlowFunctionProvider(IFDSTaintDomain<E> domain, ISupergraph<BasicBlockInContext<E>,CGNode> graph, PointerAnalysis<InstanceKey> pa)	Deprecated.

Method Summary

Modifier and Type	Method	Description
IUnaryFlowFunction	getCallFlowFunction(BasicBlockInContext<E> src, BasicBlockInContext<E> dest, BasicBlockInContext<E> ret)	Deprecated.
IUnaryFlowFunction	getCallNoneToReturnFlowFunction(BasicBlockInContext<E> src, BasicBlockInContext<E> dest)	Deprecated.
IUnaryFlowFunction	getCallToReturnFlowFunction(BasicBlockInContext<E> src, BasicBlockInContext<E> dest)	Deprecated.
IUnaryFlowFunction	getNormalFlowFunction(BasicBlockInContext<E> src, BasicBlockInContext<E> dest)	Deprecated.
IFlowFunction	getReturnFlowFunction(BasicBlockInContext<E> call, BasicBlockInContext<E> src, BasicBlockInContext<E> dest)	Deprecated.

Methods inherited from class java.lang.Object

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

Constructor Details

IFDSTaintFlowFunctionProvider

public IFDSTaintFlowFunctionProvider(IFDSTaintDomain<E> domain,
 ISupergraph<BasicBlockInContext<E>,CGNode> graph,
 PointerAnalysis<InstanceKey> pa)

Deprecated.

Method Details

getCallFlowFunction

public IUnaryFlowFunction getCallFlowFunction(BasicBlockInContext<E> src,
 BasicBlockInContext<E> dest,
 BasicBlockInContext<E> ret)

Deprecated.

Specified by:

getCallFlowFunction in interface IFlowFunctionMap<E extends ISSABasicBlock>

Parameters:

src - the call block

dest - the entry of the callee

ret - the block that will be returned to, in the caller. This can be null .. signifying that facts can flow into the callee but not return

Returns:

the flow function for a "call" edge in the supergraph from src -> dest

getCallNoneToReturnFlowFunction

public IUnaryFlowFunction getCallNoneToReturnFlowFunction(BasicBlockInContext<E> src,
 BasicBlockInContext<E> dest)

Deprecated.

Specified by:

getCallNoneToReturnFlowFunction in interface IFlowFunctionMap<E extends ISSABasicBlock>

Returns:

the flow function for a "call-to-return" edge in the supergraph from src -> dest, when the supergraph does not contain any callees of src. This happens via, e.g., slicing.

getCallToReturnFlowFunction

public IUnaryFlowFunction getCallToReturnFlowFunction(BasicBlockInContext<E> src,
 BasicBlockInContext<E> dest)

Deprecated.

Specified by:

getCallToReturnFlowFunction in interface IFlowFunctionMap<E extends ISSABasicBlock>

Returns:

the flow function for a "call-to-return" edge in the supergraph from src -> dest

getNormalFlowFunction

public IUnaryFlowFunction getNormalFlowFunction(BasicBlockInContext<E> src,
 BasicBlockInContext<E> dest)

Deprecated.

Specified by:

getNormalFlowFunction in interface IFlowFunctionMap<E extends ISSABasicBlock>

Returns:

the flow function for a "normal" edge in the supergraph from src -> dest

getReturnFlowFunction

public IFlowFunction getReturnFlowFunction(BasicBlockInContext<E> call,
 BasicBlockInContext<E> src,
 BasicBlockInContext<E> dest)

Deprecated.

Specified by:

getReturnFlowFunction in interface IFlowFunctionMap<E extends ISSABasicBlock>

Parameters:

call - supergraph node of the call instruction for this return edge.

Returns:

the flow function for a "return" edge in the supergraph from src -> dest