Uses of Interface
com.ibm.wala.dataflow.IFDS.IFlowFunction

Packages that use IFlowFunction

Package	Description
com.ibm.wala.dataflow.IFDS	This package provides an RHS solver for IFDS problems.
com.ibm.wala.ipa.slicer

Uses of IFlowFunction in com.ibm.wala.dataflow.IFDS

Subinterfaces of IFlowFunction in com.ibm.wala.dataflow.IFDS

Modifier and Type	Interface and Description
interface	IBinaryReturnFlowFunction A binary flow function corresponding to a return statements combining information from the call site and the exit site.
interface	IReversibleFlowFunction A flow function corresponding to an edge in the supergraph.
interface	IUnaryFlowFunction A flow function corresponding to an edge in the supergraph.

Classes in com.ibm.wala.dataflow.IFDS that implement IFlowFunction

Modifier and Type	Class and Description
class	IdentityFlowFunction A flow function where out == in
class	KillEverything A flow function that kills everything (even 0)
class	SingletonFlowFunction A flow function which has only the edge 0 -> dest
class	VectorGenFlowFunction A function which gens a vector of outgoing dataflow facts.
class	VectorKillFlowFunction A function which kills a vector of incoming dataflow facts

Methods in com.ibm.wala.dataflow.IFDS that return IFlowFunction

Modifier and Type	Method and Description
IFlowFunction	IdentityFlowFunctions.getReturnFlowFunction(T src, T dest)
IFlowFunction	IFlowFunctionMap.getReturnFlowFunction(T call, T src, T dest)
IFlowFunction	IdentityFlowFunctions.getReturnFlowFunction(T call, T src, T dest)
IFlowFunction	IPartiallyBalancedFlowFunctions.getUnbalancedReturnFlowFunction(T src, T dest) This version should work when the "call" instruction was never reached normally.

Uses of IFlowFunction in com.ibm.wala.ipa.slicer

Methods in com.ibm.wala.ipa.slicer that return IFlowFunction

Modifier and Type	Method and Description
IFlowFunction	SliceFunctions.getReturnFlowFunction(Statement src, Statement dest)
IFlowFunction	SliceFunctions.getReturnFlowFunction(Statement call, Statement src, Statement dest)
IFlowFunction	ReachabilityFunctions.getReturnFlowFunction(T src, T dest)
IFlowFunction	ReachabilityFunctions.getReturnFlowFunction(T call, T src, T dest)
IFlowFunction	SliceFunctions.getUnbalancedReturnFlowFunction(Statement src, Statement dest)