|
||||||||||
PREV LETTER NEXT LETTER | FRAMES NO FRAMES |
FixedPointAnalysis
defines the interface for general fixed-point
analyses for which WorkList
can be used.FlowAnalysis
implements the basic structure for a flow analysis
implementing the FixedPointAnalysis
interface.ForwardsStrategy
defines the methods for retrieving the dependency
set and joint set for a program point in a forwards analysis.FunctionPointers
is an implemention of a simple control flow analysis
for functions pointers.
|
||||||||||
PREV LETTER NEXT LETTER | FRAMES NO FRAMES |