Testing wasm-tob forked wasm module

Author: ekilmer

manticore/wasm/structure.py

@@ -49,8 +49,8 @@
 from ..utils.event import Eventful
 from ..utils import config
 
-from wasm import decode_module, Section
-from wasm.wasmtypes import (
+from wasm_tob import decode_module, Section
+from wasm_tob.wasmtypes import (
     SEC_TYPE,
     SEC_IMPORT,
     SEC_FUNCTION,

manticore/wasm/types.py

@@ -2,7 +2,7 @@
 from dataclasses import dataclass
 from ..core.smtlib import issymbolic, BitVec
 from ctypes import *
-import wasm
+import wasm_tob as wasm
 import struct
 from ..core.state import Concretize
 

setup.py

@@ -76,7 +76,7 @@ def rtd_dependent_deps():
         "rlp",
         "intervaltree",
         "crytic-compile>=0.2.2",
-        "wasm",
+        "git+https://github.com/trail-of-forks/wasm-tob.git@ekilmer/init-fork#egg=wasm-tob",
         "dataclasses; python_version < '3.7'",
         "pyevmasm>=0.2.3",
     ]