From b50f2497a6f5e9fdaae6406288916a71368867b6 Mon Sep 17 00:00:00 2001 From: Nikhil Parasaram Date: Sun, 8 Dec 2019 22:07:08 +0000 Subject: [PATCH] Enable state merge by default --- mythril/interfaces/cli.py | 4 ++-- mythril/laser/ethereum/plugins/implementations/state_merge.py | 1 - 2 files changed, 2 insertions(+), 3 deletions(-) diff --git a/mythril/interfaces/cli.py b/mythril/interfaces/cli.py index 65685250..e44b7ccb 100644 --- a/mythril/interfaces/cli.py +++ b/mythril/interfaces/cli.py @@ -465,7 +465,7 @@ def create_analyzer_parser(analyzer_parser: ArgumentParser): help="enable coverage based search strategy", ) options.add_argument( - "--enable-state-merging", action="store_true", help="enables state merging", + "--disable-state-merging", action="store_true", help="Disables state merging", ) options.add_argument( "--custom-modules-directory", @@ -669,7 +669,7 @@ def execute_command( custom_modules_directory=args.custom_modules_directory if args.custom_modules_directory else "", - enable_state_merging=args.enable_state_merging, + enable_state_merging=not args.disable_state_merging, ) if not disassembler.contracts: diff --git a/mythril/laser/ethereum/plugins/implementations/state_merge.py b/mythril/laser/ethereum/plugins/implementations/state_merge.py index a82d807d..643567b7 100644 --- a/mythril/laser/ethereum/plugins/implementations/state_merge.py +++ b/mythril/laser/ethereum/plugins/implementations/state_merge.py @@ -25,7 +25,6 @@ class StateMerge(LaserPlugin): @symbolic_vm.laser_hook("stop_sym_trans") def execute_stop_sym_trans_hook(svm: LaserEVM): - log.info(svm.open_states) open_states = svm.open_states