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.