safe-global / safe-smart-account / 12694074881

94%

push

github

[Certora Audit] G-03. `ERC165Handler.setSupportedInterface()`: Logic and storage access optimization (#890)

This pull request includes an important update to the `ERC165Handler`
contract to improve the handling of interface support and streamline the
code. The most significant changes are as follows:

### The following optimizes the logic and minimizes storage accesses:

*
[`contracts/handler/extensible/ERC165Handler.sol`](diffhunk://#diff-aa0838f20b9b624addb99465fcc65a3e0L38-R48):
Refactored the logic for checking and updating the support status of
interfaces by introducing a local `mapping` reference. This change
simplifies the code and ensures that the interface support status is
updated correctly.

324 of 366 branches covered (88.52%)

Branch coverage included in aggregate %.

7 of 7 new or added lines in 1 file covered. (100.0%)

495 of 507 relevant lines covered (97.63%)

101.21 hits per line