Module falcon::analysis::fixed_point
[−]
[src]
A fixed-point engine for data-flow analysis.
Traits
FixedPointAnalysis |
A trait which implements a forward, flow-sensitive analysis to a fixed point. |
Functions
fixed_point_backward |
A guaranteed sound analysis, which enforces the partial order over states. |
fixed_point_backward_options |
A backward, work-list data-flow analysis algorithm. |
fixed_point_forward |
A guaranteed sound analysis, which enforces the partial order over states. |
fixed_point_forward_options |
A forward, work-list data-flow analysis algorithm. |