Package com.ibm.wala.dataflow.IFDS

Interface IUnaryFlowFunction

All Superinterfaces:
IFlowFunction
All Known Subinterfaces:
IReversibleFlowFunction
All Known Implementing Classes:
CallFlowFunction, CallNoneToReturnFunction, CallToReturnFunction, ConstantFlowFunction, GlobalIdentityFunction, GlobalReturnToNodeFunction, IdentityFlowFunction, IFDSTaintFlowFunctionProvider.ReturnDefUse, KillEverything, ReturnFlowFunction, SingletonFlowFunction, TracingFlowFunction, VectorGenFlowFunction, VectorKillFlowFunction
public interface IUnaryFlowFunction extends IFlowFunction
A flow function corresponding to an edge in the supergraph.

This function should be distributive for use with the Tabulation algorithm.

  • Method Summary

    Modifier and Type
    Method
    Description
    IntSet
    getTargets(int d1)
     

  • Method Details

    • getTargets

      IntSet getTargets(int d1)
      Returns:
      set of d2 such that (d1,d2) is an edge in this distributive function's graph representation, or null if there are none