Connect to eth node

manticore/core/smtlib/expression.py

@@ -642,7 +642,7 @@ def __init__(
         self, index_bits: int, index_max: Optional[int], value_bits: int, *operands, **kwargs
     ):
         assert index_bits in (32, 64, 256)
-        assert value_bits in (8, 16, 32, 64, 256)
+        assert value_bits in (1, 8, 16, 32, 64, 256)
         assert index_max is None or index_max >= 0 and index_max < 2 ** index_bits
         self._index_bits = index_bits
         self._index_max = index_max

manticore/ethereum/manticore.py

@@ -1,3 +1,7 @@
+from typeguard.importhook import install_import_hook
+
+install_import_hook('manticore')
+
 import copy
 import itertools
 import binascii
@@ -37,6 +41,7 @@
 from .state import State
 from ..exceptions import EthereumError, DependencyError, NoAliveStates
 from ..platforms import evm
+from ..platforms.evm_world_state import WorldState
 from ..utils import config, log
 from ..utils.deprecated import deprecated
 from ..utils.helpers import PickleSerializer
@@ -386,7 +391,9 @@ def contract_accounts(self):
     def get_account(self, name):
         return self._accounts[name]
 
-    def __init__(self, workspace_url: str = None, policy: str = "random"):
+    def __init__(
+        self, world_state: WorldState = None, workspace_url: str = None, policy: str = "random"
+    ):
         """
         A Manticore EVM manager
         :param workspace_url: workspace folder name
@@ -395,7 +402,7 @@ def __init__(self, workspace_url: str = None, policy: str = "random"):
         # Make the constraint store
         constraints = ConstraintSet()
         # make the ethereum world state
-        world = evm.EVMWorld(constraints)
+        world = evm.EVMWorld(constraints, world_state=world_state)
         initial_state = State(constraints, world)
         super().__init__(initial_state, workspace_url=workspace_url, policy=policy)
         self.subscribe("will_terminate_state", self._terminate_state_callback)