from mythril.laser.plugin.signals import PluginSkipState
from mythril.laser.plugin.interface import LaserPlugin
from mythril.laser.plugin.builder import PluginBuilder
from mythril.laser.ethereum.state.global_state import GlobalState
from mythril.laser.ethereum.svm import LaserEVM
[docs]class CallDepthLimitBuilder(PluginBuilder):
name = "call-depth-limit"
def __call__(self, *args, **kwargs):
return CallDepthLimit(kwargs["call_depth_limit"])
[docs]class CallDepthLimit(LaserPlugin):
def __init__(self, call_depth_limit: int):
self.call_depth_limit = call_depth_limit
[docs] def initialize(self, symbolic_vm: LaserEVM):
"""Initializes the mutation pruner
Introduces hooks for SSTORE operations
:param symbolic_vm:
:return:
"""
@symbolic_vm.pre_hook("CALL")
def sstore_mutator_hook(global_state: GlobalState):
if len(global_state.transaction_stack) - 1 == self.call_depth_limit:
raise PluginSkipState