plotchy / evm-cfg
Symbolic stack CFG generator for EVM
☆184Updated 2 months ago
Alternatives and similar repositories for evm-cfg:
Users that are interested in evm-cfg are comparing it to the libraries listed below
- Pre-built security properties for commonly forked DeFi protocols