Reset callback module state at the end of fire_lasers

6 years ago · aff403bdf3
parent 81404008ed
commit aff403bdf3
1 changed files with 1 additions and 0 deletions
--- a/mythril/analysis/security.py
+++ b/mythril/analysis/security.py
@ -74,4 +74,5 @@ def fire_lasers(statespace, module_names=()):
        logging.debug("Retrieving results for " + module.detector.name)
        issues += module.detector.issues

+    reset_callback_modules()
    return issues