|
|||||||||
| PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES | ||||||||
See:
Description
| Interface Summary | |
|---|---|
| IBinaryReturnFlowFunction | A binary flow function corresponding to a return statments 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 function |
| IMergeFunction | Special case: if supportsMerge(), then the problem is not really IFDS anymore. |
| IReversibleFlowFunction | A flow function corresponding to an edge in the supergraph. |
| ISupergraph<T,P> | A supergraph as defined by Reps, Horwitz, and Sagiv POPL95 |
| IUnaryFlowFunction | A flow function corresponding to an edge in the supergraph. |
| TabulationDomain | |
| TabulationProblem<T,P> | Representation of a Dyck-language graph reachability problem for the tabulation solver. |
| TabulationResult<T> | The solution of a tabulation problem: a mapping from supergraph node -> bit vector representing the dataflow facts that hold at the enty to the supergraph node. |
| Class Summary | |
|---|---|
| BackwardsSupergraph<T,P> | A "reversed" supergraph for backwards analysis. |
| CallFlowEdges | A set of call flow edges which lead to a particular procedure entry s_p. |
| ExplodedSupergraph<T> | A view of a supergraph as an exploded supergraph. |
| ExplodedSupergraphNode<T> | A node in the exploded supergraph Note that this representation is inefficient and should be used with care. |
| ExplodedSupergraphPath<T> | A realizable path in the exploded supergraph |
| ExplodedSupergraphWithSummaryEdges<T> | This version of the exploded supergraph includes summary edges as deduced by the tabulation solver |
| IdentityFlowFunction | A flow function where out == in |
| IdentityFlowFunctions<T> | A silly debugging aid that always returns the identity flow function |
| LocalPathEdges | A set of path edges for a particular procedure entry s_p. |
| LocalSummaryEdges | A set of summary edges for a particular procedure. |
| PartiallyCollapsedSupergraph | A Supergraph customized for the case when some nodes are "collapsible", meaning the result for every basic block in a collapsible node is identical. |
| SingletonFlowFunction | TODO: make the '0' element implicit in every flow function A flow function which has only the edge 0 -> dest |
| TabulationSolver<T,P> | A precise interprocedural tabulation solver. |
| UniversalKillFlowFunction | A function 0 -> 0, which kills all other incoming dataflow facts TODO: optimize by building this edge as implicit in every flow function. |
| UnorderedDomain | |
| VectorGenFlowFunction | A function which gens a vector of outgoing dataflow facts |
| VectorKillFlowFunction | A function which kills a vector of incoming dataflow facts |
| Exception Summary | |
|---|---|
| SolverInterruptedException | |
This package provides an RHS solver for IFDS problems.
|
|||||||||
| PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES | ||||||||