diff --git a/mythril/interfaces/cli.py b/mythril/interfaces/cli.py index fce9428a..839d1fd5 100644 --- a/mythril/interfaces/cli.py +++ b/mythril/interfaces/cli.py @@ -392,7 +392,9 @@ def create_analyzer_parser(analyzer_parser: ArgumentParser): help="Deactivate dependency-based pruning", ) options.add_argument( - "--enable-coverage-strategy", action="store_true", help="enable coverage based search strategy" + "--enable-coverage-strategy", + action="store_true", + help="enable coverage based search strategy", ) diff --git a/mythril/laser/ethereum/svm.py b/mythril/laser/ethereum/svm.py index cb804a7f..42e00ab8 100644 --- a/mythril/laser/ethereum/svm.py +++ b/mythril/laser/ethereum/svm.py @@ -104,12 +104,17 @@ class LaserEVM: self.iprof = InstructionProfiler() if enable_iprof else None if enable_coverage_strategy: - from mythril.laser.ethereum.plugins.implementations.coverage.coverage_plugin import InstructionCoveragePlugin - from mythril.laser.ethereum.plugins.implementations.coverage.coverage_strategy import CoverageStrategy + from mythril.laser.ethereum.plugins.implementations.coverage.coverage_plugin import ( + InstructionCoveragePlugin, + ) + from mythril.laser.ethereum.plugins.implementations.coverage.coverage_strategy import ( + CoverageStrategy, + ) + instruction = InstructionCoveragePlugin() instruction.initialize(self) self.strategy = CoverageStrategy(self.strategy, instruction) - + log.info("LASER EVM initialized with dynamic loader: " + str(dynamic_loader)) def extend_strategy(self, extension: ABCMeta, *args) -> None: