Module falcon::analysis

source ·
Expand description

Implementations and traits for static analysis over Falcon IL.

Modules

calling_convention
Information about varying calling conventions.
constants
A very simple, and fast, constant propagation
fixed_point
A fixed-point engine for data-flow analysis.
stack_pointer_offsets
Determine offset of stack pointer from function entry.

Structs

LocationSet
A partially-ordered set of RefProgramLocation used in analyses

Functions

dead_code_elimination
Eliminate dead code in an IL function
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.