Crate evmil

Modules

analysis

Functionality related to the analysis (or execution) of bytecode contracts. Using this module we can, for example, extract the control-flow graph of a legacy contract. We can also write arbitrary dataflow analyses which operate over bytecode contracts (e.g. for constant propagation).

bytecode

Functionality for working with bytecode contracts. This includes support for assembling contracts written in assembly language into bytecode.

fork

Functionality related to distinguishing different forks of the EVM. This includes mechanisms for identifying what EIPs are active in the current execution.

il

A low-level intermediate language which has close correspondence with bytecode.

util

Various utilities required by other modules.