Add command line arguments.

manticore/__main__.py

@@ -162,6 +162,8 @@ def positive(value):
         "--txnoether", action="store_true", help="Do not attempt to send ether to contract"
     )
 
+    eth_flags.add_argument("--txvictim", type=str, help="Address of a deployed contract to attack")
+
     eth_flags.add_argument(
         "--txaccount",
         type=str,
@@ -180,6 +182,13 @@ def positive(value):
         "--contract", type=str, help="Contract name to analyze in case of multiple contracts"
     )
 
+    eth_flags.add_argument(
+        "--rpc",
+        type=str,
+        dest="url",
+        help="Url of an Ethereum node to connect to. Must be of the form 'IP:PORT'",
+    )
+
     eth_detectors = parser.add_argument_group("Ethereum detectors")
 
     eth_detectors.add_argument(

manticore/ethereum/cli.py

@@ -17,6 +17,7 @@
 from ..core.plugin import Profiler
 from .manticore import ManticoreEVM
 from .plugins import FilterFunctions, LoopDepthLimiter, VerboseTrace, KeepOnlyIfStorageChanges
+from ..platforms.evm_world_state import RemoteWorldState
 from ..utils.nointerrupt import WithKeyboardInterruptAs
 from ..utils import config
 
@@ -70,7 +71,11 @@ def choose_detectors(args):
 
 
 def ethereum_main(args, logger):
-    m = ManticoreEVM(workspace_url=args.workspace)
+    world_state = None
+    if args.url is not None:
+        world_state = RemoteWorldState(args.url)
+
+    m = ManticoreEVM(workspace_url=args.workspace, world_state=world_state)
 
     if args.quick_mode:
         args.avoid_constant = True
@@ -114,6 +119,7 @@ def ethereum_main(args, logger):
                 tx_limit=args.txlimit,
                 tx_use_coverage=not args.txnocoverage,
                 tx_send_ether=not args.txnoether,
+                contract_account=int(args.txvictim, base=0),
                 tx_account=args.txaccount,
                 tx_preconstrain=args.txpreconstrain,
                 compile_args=vars(args),  # FIXME

manticore/ethereum/manticore.py

@@ -993,23 +993,26 @@ def multi_tx_analysis(
         tx_limit=None,
         tx_use_coverage=True,
         tx_send_ether=True,
+        contract_account: int = None,
         tx_account="attacker",
         tx_preconstrain=False,
         args=None,
         compile_args=None,
     ):
         owner_account = self.create_account(balance=1000, name="owner")
         attacker_account = self.create_account(balance=1000, name="attacker")
-        # Pretty print
-        logger.info("Starting symbolic create contract")
-
-        contract_account = self.solidity_create_contract(
-            solidity_filename,
-            contract_name=contract_name,
-            owner=owner_account,
-            args=args,
-            compile_args=compile_args,
-        )
+
+        if contract_account is None:
+            # Pretty print
+            logger.info("Starting symbolic create contract")
+
+            contract_account = self.solidity_create_contract(
+                solidity_filename,
+                contract_name=contract_name,
+                owner=owner_account,
+                args=args,
+                compile_args=compile_args,
+            )
 
         if tx_account == "attacker":
             tx_account = [attacker_account]