com.ibm.wala.dataflow.IFDS
Interfaces
IBinaryReturnFlowFunction
IFlowFunction
IFlowFunctionMap
IMergeFunction
IPartiallyBalancedFlowFunctions
IReversibleFlowFunction
ISupergraph
ITabulationWorklist
IUnaryFlowFunction
PartiallyBalancedTabulationProblem
TabulationDomain
TabulationProblem
TabulationResult
Classes
BackwardsSupergraph
BoundedPartiallyBalancedSolver
BoundedTabulationSolver
CallFlowEdges
ICFGSupergraph
IdentityFlowFunction
IdentityFlowFunctions
KillEverything
LocalPathEdges
LocalSummaryEdges
PartiallyBalancedTabulationSolver
PathEdge
SingletonFlowFunction
TabulationSolver
UnorderedDomain
VectorGenFlowFunction
VectorKillFlowFunction
Exceptions
TabulationCancelException