Merge branch 'master' of github.com:ConsenSys/mythril

mythril/analysis/symbolic.py

@@ -41,20 +41,12 @@ class SymExecWrapper:
 
                 if op in ('CALL', 'CALLCODE', 'DELEGATECALL', 'STATICCALL'):
 
-                    logging.debug("CALL ANALYSIS: CALL AT %d" % (instruction['address']))
-
-                    logging.debug(str(state.mstate))
-
-                    logging.debug(state.get_current_instruction()['address'])
-
                     stack = state.mstate.stack
 
                     if op in ('CALL', 'CALLCODE'):
                         gas, to, value, meminstart, meminsz, memoutstart, memoutsz = \
                             get_variable(stack[-1]), get_variable(stack[-2]), get_variable(stack[-3]), get_variable(stack[-4]), get_variable(stack[-5]), get_variable(stack[-6]), get_variable(stack[-7])
 
-                        logging.debug("TO: " + str(to))
-
                         if to.type == VarType.CONCRETE and to.val < 5:
                                 # ignore prebuilts
                                 continue
@@ -74,8 +66,6 @@ class SymExecWrapper:
 
                     index, value = stack.pop(), stack.pop()
 
-                    logging.debug("FOUND SSTORE TO INDEX: " + str(index))
-
                     try:
                         self.sstors[str(index)].append(SStore(self.nodes[key], state, state_index, value))
                     except KeyError:

mythril/ether/asm.py

@@ -14,8 +14,6 @@ opcodes[254] = ['ASSERT_FAIL', 0, 0, 0]
 def instruction_list_to_easm(instruction_list):
     easm = ""
 
-    # print(instruction_list)
-
     for instruction in instruction_list:
 
         easm += str(instruction['address']) + " " + instruction['opcode']