safe-global / safe-smart-account / 12694087657

94%

push

github

[Certora Audit] G-04. `ExtensibleBase._setSafeMethod()`: storage access optimization (#891)

This pull request includes a refactor to the `_setSafeMethod` function
in the `ExtensibleBase` contract to improve memory access.

The following optimizes the logic and minimizes storage accesses:

*
[`contracts/handler/extensible/ExtensibleBase.sol`](diffhunk://#diff-e395e05c7f3c522903d74f1a50f23b577L49-R57):
Modified the `_setSafeMethod` function to use a local variable
`safeMethod` for accessing the `safeMethods` mapping, which simplifies
and clarifies the code.

324 of 366 branches covered (88.52%)

Branch coverage included in aggregate %.

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

496 of 508 relevant lines covered (97.64%)

101.08 hits per line