Black and plugin fix (#1400)

pull/1404/head
Nikhil Parasaram 4 years ago committed by GitHub
parent 440c313f70
commit 9ec5f11e23
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
  1. 4
      mythril/analysis/swc_data.py
  2. 2
      mythril/plugin/loader.py

@ -29,7 +29,7 @@ INCORRECT_INHERITANCE_ORDER = "125"
ARBITRARY_JUMP = "127"
DOS_WITH_BLOCK_GAS_LIMIT = "128"
TYPOGRAPHICAL_ERROR = "129"
UNEXPECTED_ETHER_BALANCE="132"
UNEXPECTED_ETHER_BALANCE = "132"
SWC_TO_TITLE = {
"100": "Function Default Visibility",
@ -61,5 +61,5 @@ SWC_TO_TITLE = {
"127": "Arbitrary Jump with Function Type Variable",
"128": "DoS With Block Gas Limit",
"129": "Typographical Error",
"132": "Unexpected Ether Balance"
"132": "Unexpected Ether Balance",
}

@ -28,8 +28,8 @@ class MythrilPluginLoader(object, metaclass=Singleton):
def __init__(self):
log.info("Initializing mythril plugin loader")
self.loaded_plugins = []
self._load_default_enabled()
self.plugin_args = dict() # type: Dict[str, Dict]
self._load_default_enabled()
def set_args(self, plugin_name: str, **kwargs):
self.plugin_args[plugin_name] = kwargs

Loading…
Cancel
Save