LockedEther: Add NewContract to the list of msg.value checks (close #114

)
crytic · Dec 23, 2018 · 6124a46 · 6124a46
1 parent 7f93370
commit 6124a46
Showing 1 changed file with 2 additions and 2 deletions.
diff --git 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 @@ def do_no_send_ether(contract):
                 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)):