Source code for mythril.laser.plugin.signals

[docs]class PluginSignal(Exception): """Base plugin signal These signals are used by the laser plugins to create intent for certain actions in the symbolic virtual machine """ pass
[docs]class PluginSkipWorldState(PluginSignal): """Plugin to skip world state Plugins that raise this signal while the add_world_state hook is being executed will force laser to abandon that world state. """ pass
[docs]class PluginSkipState(PluginSignal): """Plugin to skip world state Plugins that raise this signal while the add_world_state hook is being executed will force laser to abandon that world state. """ pass