Update unchecked_suicide.py

pull/23/head
Bernhard Mueller 7 years ago committed by GitHub
parent 9d43910499
commit 49dfc2444f
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
  1. 3
      mythril/analysis/modules/unchecked_suicide.py

@ -11,7 +11,8 @@ import logging
'''
MODULE DESCRIPTION:
Check for SUICIDE instructions that either can be reached by anyone, or where msg.sender is checked against a writable storage index.
Check for SUICIDE instructions that either can be reached by anyone, or where msg.sender is checked against a tainted storage index
(i.e. there's a write to that index is unconstrained by msg.sender).
'''
def execute(statespace):

Loading…
Cancel
Save