From 8be24979f8f7982dabc458622e9e01230d04f7bd Mon Sep 17 00:00:00 2001 From: Nikhil Parasaram Date: Mon, 8 Jun 2020 20:09:52 +0530 Subject: [PATCH] Support laser plugins (#1392) --- mythril/plugin/loader.py | 2 ++ 1 file changed, 2 insertions(+) diff --git a/mythril/plugin/loader.py b/mythril/plugin/loader.py index 42a70720..b676cbb2 100644 --- a/mythril/plugin/loader.py +++ b/mythril/plugin/loader.py @@ -45,6 +45,8 @@ class MythrilPluginLoader(object, metaclass=Singleton): if isinstance(plugin, DetectionModule): self._load_detection_module(plugin) + elif isinstance(plugin, MythrilLaserPlugin): + self._load_laser_plugin(plugin) else: raise UnsupportedPluginType("Passed plugin type is not yet supported")