Refactor code (#1831)

* Refactor code

* Edit tox

* Modify tox

* Modify tests

* Reduce processes

mythril/laser/ethereum/svm.py

@@ -592,11 +592,6 @@ class LaserEVM:
                 self._new_node_state(
                     state, JumpType.CONDITIONAL, state.world_state.constraints[-1]
                 )
-        elif opcode in ("SLOAD", "SSTORE") and len(new_states) > 1:
-            for state in new_states:
-                self._new_node_state(
-                    state, JumpType.CONDITIONAL, state.world_state.constraints[-1]
-                )
         elif opcode == "RETURN":
             for state in new_states:
                 self._new_node_state(state, JumpType.RETURN)

mythril/support/opcodes.py

@@ -96,7 +96,7 @@ OPCODES: Dict = {
     "MSTORE8": {GAS: (3, 98), STACK: (2, 0), ADDRESS: 0x53},
     # assume 64 byte r/w cost as upper bound
     "SLOAD": {GAS: (800, 800), STACK: UN_OPERATOR_TUPLE, ADDRESS: 0x54},
-    "SSTORE": {GAS: (5000, 25000), STACK: (1, 0), ADDRESS: 0x55},
+    "SSTORE": {GAS: (5000, 25000), STACK: (2, 0), ADDRESS: 0x55},
     "JUMP": {GAS: (8, 8), STACK: (1, 0), ADDRESS: 0x56},
     "JUMPI": {GAS: (10, 10), STACK: (2, 0), ADDRESS: 0x57},
     "PC": {GAS: (2, 2), STACK: Z_OPERATOR_TUPLE, ADDRESS: 0x58},

tests/integration_tests/parallel_test.py

@@ -9,7 +9,7 @@ def test_parallel():
 
     test_file = str(TESTDATA / "input_contracts" / "origin.sol")
     program = f"python3 {MYTH} a {test_file} --solv 0.5.0 -o json"
-    processes = [Popen(program, stdout=PIPE, shell=True) for i in range(30)]
+    processes = [Popen(program, stdout=PIPE, shell=True) for i in range(8)]
     for p in processes:
         out, err = p.communicate()
         json_output = json.loads(out.decode("utf-8"))