Module falcon::analysis
[−]
[src]
Implementations and traits for static analysis over Falcon IL.
Modules
ai |
Abstract Interpretation Analyses |
fixed_point |
A fixed-point engine for data-flow analysis. |
Functions
def_use |
Compute definition use chains for the given function. |
reaching_definitions |
Compute reaching definitions for the given function. |
use_def |
Compute use definition chains for the given function. |