Package com.ibm.wala.dataflow.IFDS
package com.ibm.wala.dataflow.IFDS
-
ClassDescriptionBackwardsSupergraph<T,
P> A "reversed" supergraph for backwards analysis.ATabulationSolver
that gives up after a finite bound.BoundedTabulationSolver<T,P, F> ATabulationSolver
that gives up after a finite bound.A set of call flow edges which lead to a particular procedure entry s_p.A binary flow function corresponding to a return statements combining information from the call site and the exit site.Forward supergraph induced over anExplodedInterproceduralCFG
A flow function where out == inA silly debugging aid that always returns the identity flow functionA flow function corresponding to an edge in the supergraph.A map from an edge in a supergraph to a flow functionSpecial case: if supportsMerge(), then the problem is not really IFDS anymore.Flow functions for aPartiallyBalancedTabulationProblem
A flow function corresponding to an edge in the supergraph.ISupergraph<T,P> A supergraph as defined by Reps, Horwitz, and Sagiv POPL95A flow function corresponding to an edge in the supergraph.A flow function that kills everything (even 0)A set of path edges for a particular procedure entry s_p.A set of summary edges for a particular procedure.ATabulationProblem
with additional support for computing with partially balanced parentheses.Utilities for dealing with tabulation with partially balanced parentheses.PathEdge<T>an individual edge <entry, d1> -> <target, d2>A flow function which has only the edge 0 -> destACancelException
thrown during tabulation; holds a pointer to a partialTabulationSolver.Result
.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.TabulationSolver<T,P, F> A precise interprocedural tabulation solver.UnorderedDomain<T,U> ATabulationDomain
with no build-in partial order defining priority.A function which gens a vector of outgoing dataflow facts.A function which kills a vector of incoming dataflow facts