Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Connect to eth node #1580

Open
wants to merge 113 commits into
base: master
Choose a base branch
from
Open

Connect to eth node #1580

wants to merge 113 commits into from

Conversation

smoelius
Copy link
Contributor

@smoelius smoelius commented Jan 3, 2020 •
edited
Loading

This PR enables Manticore to connect to an Ethereum node and generate symbolic transactions for a deployed contract using the contract's on-chain storage. Manticore obtains the contract's storage values using the node's JSON RPC interface.

This PR specifically adds two command line options:

  • --rpc URL: specify the URL of an Ethereum node to connect to. Must be of the form IP:PORT
  • --txtarget TXTARGET: specify the address of a deployed contract to target

This PR further adds an optional world_state parameter to ManticoreEVM's constructor. One can connect to an Ethereum node from within a Manticore script as follows:

from manticore.ethereum import ManticoreEVM
from manticore.platforms.evm_world_state import RemoteWorldState

m = ManticoreEVM(world_state=RemoteWorldState(URL))

@smoelius smoelius force-pushed the dev-connect-to-eth-node branch from a61975d to 51c6091 Compare January 5, 2020 00:19
@smoelius smoelius force-pushed the dev-connect-to-eth-node branch from ac902c5 to 9dbec65 Compare January 6, 2020 22:15
@smoelius smoelius force-pushed the dev-connect-to-eth-node branch from 9dbec65 to d58368c Compare January 6, 2020 22:26
@smoelius smoelius force-pushed the dev-connect-to-eth-node branch from 3599e65 to 912366b Compare January 9, 2020 20:30
@smoelius smoelius force-pushed the dev-connect-to-eth-node branch 2 times, most recently from 50577cc to a822b45 Compare June 12, 2020 15:14
@smoelius smoelius force-pushed the dev-connect-to-eth-node branch from 163a97f to 94055f9 Compare June 12, 2020 16:28
@smoelius smoelius force-pushed the dev-connect-to-eth-node branch from ea65a78 to 8af6869 Compare June 12, 2020 16:55
@ehennenfent ehennenfent linked an issue Jun 22, 2020 that may be closed by this pull request
Support executing on a live EVM node #1755
Open
@feliam feliam mentioned this pull request Aug 18, 2020
Open
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@feliam feliam feliam left review comments

@ekilmer ekilmer ekilmer left review comments

@ehennenfent ehennenfent ehennenfent left review comments

At least 1 approving review is required to merge this pull request.

Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
Release Manticore 0.3.4
Development

Successfully merging this pull request may close these issues.

Support executing on a live EVM node
4 participants
@smoelius @ehennenfent @ekilmer @feliam