diff --git a/slither/detectors/oracles/oracle_detector.py b/slither/detectors/oracles/oracle_detector.py index 9e1d584c2..951f2c045 100644 --- a/slither/detectors/oracles/oracle_detector.py +++ b/slither/detectors/oracles/oracle_detector.py @@ -235,7 +235,7 @@ def investigate_on_return(self, oracle, var) -> bool: for value in oracle.function.return_values: if is_dependent(value, var, oracle.node): return self.checks_performed_out_of_original_function(oracle, value) - + return False # This function interates through all internal calls in function and checks if the var is used in condition any of them @@ -271,7 +271,7 @@ def investigate_internal_call(self, function: FunctionContract, var, original_fu if self.investigate_internal_call(ir.function, original_var_as_param, function): return True return False - + def _detect(self): self.oracles = self.find_oracles(self.contracts) for oracle in self.oracles: