Expand description
Analysis and optimization passes over EVM bytecode.
Modules§
- block_
analysis 🔒 - Abstract stack interpretation for resolving dynamic jump targets and constant propagation.
- const_
fold 🔒 - Constant folding for EVM arithmetic during abstract interpretation.
- dead_
store_ 🔒elim - Intra-block dead store elimination.
- dedup 🔒
- Block deduplication pass.
- memory_
sections 🔒 - sections 🔒