Consensys / mythril

Security analysis tool for EVM bytecode. Supports smart contracts built for Ethereum, Hedera, Quorum, Vechain, Rootstock, Tron and other EVM-compatible blockchains.
https://mythx.io/
MIT License
3.89k stars 739 forks source link

feat: support seeding blockchain state #1361

Open yxliang01 opened 4 years ago

yxliang01 commented 4 years ago

Description

Sometimes, we only want to perform analysis on contracts that are in certain blockchain state. So, adding such support would be great!

muellerberndt commented 4 years ago

Hey @xyliang01, the officially supported way of doing this is:

This will initialise bytecode, balances and storage values via RPC and supports multi-contract environments. Works well in conjunction with Truffle migrations & scripts!