Merge branch 'develop' of github.com:ConsenSys/mythril into config-change

mythril/__version__.py

@@ -4,4 +4,4 @@ This file is suitable for sourcing inside POSIX shell, e.g. bash as well
 as for importing into Python.
 """
 
-__version__ = "v0.24.2"
+__version__ = "v0.24.3"

mythril/analysis/issue_annotation.py

@@ -9,7 +9,7 @@ from copy import deepcopy
 class IssueAnnotation(StateAnnotation):
     def __init__(self, conditions: List[Bool], issue: Issue, detector):
         """
-        Issue Annotation to propogate issues
+        Issue Annotation to propagate issues
         - conditions: A list of independent conditions [a, b, c, ...]
                       Each of these have to be independently be satisfied
         - issue: The issue of the annotation

mythril/laser/ethereum/cfg.py

@@ -79,7 +79,7 @@ class Node:
 
 
 class Edge:
-    """The respresentation of a call graph edge."""
+    """The representation of a call graph edge."""
 
     def __init__(
         self,

mythril/laser/ethereum/natives.py

@@ -94,7 +94,7 @@ def ecrecover(data: List[int]) -> List[int]:
     try:
         pub = ecrecover_to_pub(message, v, r, s)
     except Exception as e:
-        log.debug("An error has occured while extracting public key: " + str(e))
+        log.debug("An error has occurred while extracting public key: " + str(e))
         return []
     o = [0] * 12 + [x for x in sha3(pub)[-20:]]
     return list(bytearray(o))

mythril/laser/ethereum/svm.py

@@ -711,7 +711,7 @@ class LaserEVM:
                 self.instr_post_hook[opcode].append(hook)
 
     def instr_hook(self, hook_type, opcode) -> Callable:
-        """Registers the annoted function with register_instr_hooks
+        """Registers the annotated function with register_instr_hooks
 
         :param hook_type: Type of hook pre/post
         :param opcode: The opcode related to the function

mythril/laser/ethereum/transaction/transaction_models.py

@@ -1,4 +1,4 @@
-"""This module contians the transaction models used throughout LASER's symbolic
+"""This module contains the transaction models used throughout LASER's symbolic
 execution."""
 
 from copy import deepcopy

mythril/laser/plugin/plugins/mutation_pruner.py

@@ -47,7 +47,7 @@ class MutationPruner(LaserPlugin):
             global_state.annotate(MutationAnnotation())
 
         """FIXME: Check for changes in world_state.balances instead of adding MutationAnnotation for all calls.
-           Requires world_state.starting_balances to be initalized at every tx start *after* call value has been added.
+           Requires world_state.starting_balances to be initialized at every tx start *after* call value has been added.
         """
 
         @symbolic_vm.pre_hook("CALL")