Active unchecked_retval module

mythril/analysis/modules/unchecked_retval.py

@@ -35,6 +35,8 @@ def execute(statespace):
 
         instr = call.node.instruction_list[next_i]
  
+        logging.info("CALL. Next instruction: " + instr['opcode'])
+
         # The stack contents at a particular point of execution are found in node.states[address].stack
 
         if (instr['opcode'] != 'ISZERO' or not re.search(r'retval', str(call.node.states[call.addr + 1].stack[-1]))):

mythril/analysis/security.py

@@ -9,9 +9,7 @@ def fire_lasers(statespace):
 	issues += delegatecall_forward.execute(statespace)
 	issues += unchecked_suicide.execute(statespace)
 	issues += ether_send.execute(statespace)
-
-	# still needs some work
-	# issues += unchecked_retval.execute(statespace)
+	issues += unchecked_retval.execute(statespace)
 
 	if (len(issues)):
 		report = Report(issues)