diff --git a/mythril/laser/plugin/plugins/summary/core.py b/mythril/laser/plugin/plugins/summary/core.py index 17d5ebc3..b5bd1a17 100644 --- a/mythril/laser/plugin/plugins/summary/core.py +++ b/mythril/laser/plugin/plugins/summary/core.py @@ -301,13 +301,13 @@ class SymbolicSummaryPlugin(LaserPlugin): new_issue = copy(issue_annotation.issue) new_issue.transaction_sequence = tx_seq issue_annotation.detector.issues += [new_issue] - addresss = ( + address = ( issue_annotation.issue.source_location or issue_annotation.issue.address ) self.issue_cache.add( ( issue_annotation.detector.swc_id, - addresss, + address, get_code_hash(global_state.environment.code.bytecode), ) ) diff --git a/tests/testdata/concolic_io/multi_contract_example.sol b/tests/testdata/concolic_io/multi_contract_example.sol index ff377330..35178e98 100644 --- a/tests/testdata/concolic_io/multi_contract_example.sol +++ b/tests/testdata/concolic_io/multi_contract_example.sol @@ -2,7 +2,7 @@ pragma solidity 0.8.6; /** * @title Storage - * @dev Store & retreive value in a variable + * @dev Store & retrieve value in a variable */ contract D1 { diff --git a/tests/testdata/concolic_io/two_contract.sol b/tests/testdata/concolic_io/two_contract.sol index 9debf6e2..22726d00 100644 --- a/tests/testdata/concolic_io/two_contract.sol +++ b/tests/testdata/concolic_io/two_contract.sol @@ -2,7 +2,7 @@ pragma solidity 0.8.6; /** * @title Storage - * @dev Store & retreive value in a variable + * @dev Store & retrieve value in a variable */ contract D1 {