Crate evmil

source ·

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.