Package com.ibm.wala.dataflow.IFDS
-
Interface Summary Interface Description IBinaryReturnFlowFunction A binary flow function corresponding to a return statements combining information from the call site and the exit site.IFlowFunction A flow function corresponding to an edge in the supergraph.IFlowFunctionMap<T> A map from an edge in a supergraph to a flow functionIMergeFunction Special case: if supportsMerge(), then the problem is not really IFDS anymore.IPartiallyBalancedFlowFunctions<T> Flow functions for aPartiallyBalancedTabulationProblem
IReversibleFlowFunction A flow function corresponding to an edge in the supergraph.ISupergraph<T,P> A supergraph as defined by Reps, Horwitz, and Sagiv POPL95ITabulationWorklist<T> IUnaryFlowFunction A flow function corresponding to an edge in the supergraph.PartiallyBalancedTabulationProblem<T,P,F> ATabulationProblem
with additional support for computing with partially balanced parentheses.TabulationDomain<F,T> Domain of facts for tabulation.TabulationProblem<T,P,F> Representation of a Dyck-language graph reachability problem for the tabulation solver.TabulationResult<T,P,F> The solution of a tabulation problem: a mapping from supergraph node -> bit vector representing the dataflow facts that hold at the entry to the supergraph node. -
Class Summary Class Description BackwardsSupergraph<T,P> A "reversed" supergraph for backwards analysis.BoundedPartiallyBalancedSolver<T,P,F> ATabulationSolver
that gives up after a finite bound.BoundedTabulationSolver<T,P,F> ATabulationSolver
that gives up after a finite bound.CallFlowEdges A set of call flow edges which lead to a particular procedure entry s_p.ICFGSupergraph Forward supergraph induced over anExplodedInterproceduralCFG
This should lazily build the supergraph as it is explored.IdentityFlowFunction A flow function where out == inIdentityFlowFunctions<T> A silly debugging aid that always returns the identity flow functionKillEverything A flow function that kills everything (even 0)LocalPathEdges A set of path edges for a particular procedure entry s_p.LocalSummaryEdges A set of summary edges for a particular procedure.PartiallyBalancedTabulationSolver<T,P,F> Utilities for dealing with tabulation with partially balanced parentheses.PathEdge<T> an individual edge-> SingletonFlowFunction A flow function which has only the edge 0 -> destTabulationSolver<T,P,F> A precise interprocedural tabulation solver.UnorderedDomain<T,U> ATabulationDomain
with no build-in partial order defining priority.VectorGenFlowFunction A function which gens a vector of outgoing dataflow facts.VectorKillFlowFunction A function which kills a vector of incoming dataflow facts -
Exception Summary Exception Description TabulationCancelException ACancelException
thrown during tabulation; holds a pointer to a partialTabulationSolver.Result
.