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