From 460e9da50cb10a929ba0734cd01f7354482a8bad Mon Sep 17 00:00:00 2001 From: Santala <31094102+tranhoaison@users.noreply.github.com> Date: Fri, 24 Nov 2023 00:27:03 +0700 Subject: [PATCH] fix typos (#1824) --- mythril/analysis/issue_annotation.py | 2 +- mythril/laser/ethereum/cfg.py | 2 +- mythril/laser/ethereum/natives.py | 2 +- mythril/laser/ethereum/svm.py | 2 +- mythril/laser/ethereum/transaction/transaction_models.py | 2 +- mythril/laser/plugin/plugins/mutation_pruner.py | 2 +- 6 files changed, 6 insertions(+), 6 deletions(-) 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")