diff --git a/mythril/analysis/issue_annotation.py b/mythril/analysis/issue_annotation.py
index 3d8e849b..7f5f431b 100644
--- a/mythril/analysis/issue_annotation.py
+++ b/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
diff --git a/mythril/laser/ethereum/cfg.py b/mythril/laser/ethereum/cfg.py
index e7456e11..2317b5d3 100644
--- a/mythril/laser/ethereum/cfg.py
+++ b/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,
diff --git a/mythril/laser/ethereum/natives.py b/mythril/laser/ethereum/natives.py
index 8f920e99..7c8d9f75 100644
--- a/mythril/laser/ethereum/natives.py
+++ b/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))
diff --git a/mythril/laser/ethereum/svm.py b/mythril/laser/ethereum/svm.py
index d1b9fffe..0b3e3891 100644
--- a/mythril/laser/ethereum/svm.py
+++ b/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
diff --git a/mythril/laser/ethereum/transaction/transaction_models.py b/mythril/laser/ethereum/transaction/transaction_models.py
index c75ad31c..c6726121 100644
--- a/mythril/laser/ethereum/transaction/transaction_models.py
+++ b/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
diff --git a/mythril/laser/plugin/plugins/mutation_pruner.py b/mythril/laser/plugin/plugins/mutation_pruner.py
index 62442170..6a8b86fe 100644
--- a/mythril/laser/plugin/plugins/mutation_pruner.py
+++ b/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")