Module falcon::analysis [−][src]
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 |
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. |