From 214229d9d6cbe7b6d0ea0447b0129443f35fc0b8 Mon Sep 17 00:00:00 2001 From: Josselin Date: Sun, 23 Dec 2018 11:20:35 +0000 Subject: [PATCH] LockedEther: Add NewContract to the list of msg.value checks (close #114) --- slither/detectors/attributes/locked_ether.py | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/slither/detectors/attributes/locked_ether.py b/slither/detectors/attributes/locked_ether.py index 00cdcf596..a2fe6a1c3 100644 --- a/slither/detectors/attributes/locked_ether.py +++ b/slither/detectors/attributes/locked_ether.py @@ -5,7 +5,7 @@ from slither.detectors.abstract_detector import (AbstractDetector, DetectorClassification) from slither.slithir.operations import (HighLevelCall, LowLevelCall, Send, - Transfer) + Transfer, NewContract) class LockedEther(AbstractDetector): @@ -28,7 +28,7 @@ class LockedEther(AbstractDetector): return False for node in function.nodes: for ir in node.irs: - if isinstance(ir, (Send, Transfer, HighLevelCall, LowLevelCall)): + if isinstance(ir, (Send, Transfer, HighLevelCall, LowLevelCall, NewContract)): if ir.call_value and ir.call_value != 0: return False if isinstance(ir, (LowLevelCall)):