| Package | Description |
|---|---|
| com.ibm.wala.dataflow.IFDS |
This package provides an RHS solver for IFDS problems.
|
| com.ibm.wala.ipa.slicer |
| Class and Description |
|---|
| BackwardsSupergraph
A "reversed" supergraph for backwards analysis.
|
| BoundedPartiallyBalancedSolver
A
TabulationSolver that gives up after a finite bound. |
| BoundedTabulationSolver
A
TabulationSolver that gives up after a finite bound. |
| CallFlowEdges
A set of call flow edges which lead to a particular procedure entry s_p.
|
| IBinaryReturnFlowFunction
A binary flow function corresponding to a return statements combining information from the call site and the exit site.
|
| ICFGSupergraph
Forward supergraph induced over an
ExplodedInterproceduralCFG
This should lazily build the supergraph as it is explored. |
| IdentityFlowFunction
A flow function where out == in
|
| IdentityFlowFunctions
A silly debugging aid that always returns the identity flow function
|
| IFlowFunction
A flow function corresponding to an edge in the supergraph.
|
| IFlowFunctionMap
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.
|
| IPartiallyBalancedFlowFunctions
Flow functions for a
PartiallyBalancedTabulationProblem |
| IReversibleFlowFunction
A flow function corresponding to an edge in the supergraph.
|
| ISupergraph
A supergraph as defined by Reps, Horwitz, and Sagiv POPL95
|
| ITabulationWorklist |
| IUnaryFlowFunction
A flow function corresponding to an edge in the supergraph.
|
| KillEverything
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.
|
| PartiallyBalancedTabulationProblem
A
TabulationProblem with additional support for computing with partially balanced parentheses. |
| PartiallyBalancedTabulationSolver
Utilities for dealing with tabulation with partially balanced parentheses.
|
| PathEdge
an individual edge
|
| SingletonFlowFunction
A flow function which has only the edge 0 -> dest
|
| TabulationDomain
Domain of facts for tabulation.
|
| TabulationProblem
Representation of a Dyck-language graph reachability problem for the tabulation solver.
|
| TabulationResult
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
A precise interprocedural tabulation solver.
|
| TabulationSolver.Result |
| VectorGenFlowFunction
A function which gens a vector of outgoing dataflow facts.
|
| VectorKillFlowFunction
A function which kills a vector of incoming dataflow facts
|
| Class and Description |
|---|
| IFlowFunction
A flow function corresponding to an edge in the supergraph.
|
| IFlowFunctionMap
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.
|
| IPartiallyBalancedFlowFunctions
Flow functions for a
PartiallyBalancedTabulationProblem |
| ISupergraph
A supergraph as defined by Reps, Horwitz, and Sagiv POPL95
|
| IUnaryFlowFunction
A flow function corresponding to an edge in the supergraph.
|
| PartiallyBalancedTabulationProblem
A
TabulationProblem with additional support for computing with partially balanced parentheses. |
| PathEdge
an individual edge
|
| TabulationDomain
Domain of facts for tabulation.
|
| TabulationProblem
Representation of a Dyck-language graph reachability problem for the tabulation solver.
|
| VectorGenFlowFunction
A function which gens a vector of outgoing dataflow facts.
|
Copyright © 2015. All rights reserved.