safe-global / safe-smart-account / 12709211144

94%

push

github

[Certora Audit] G-08. Use shift right/left instead of division/multiplication if possible (#895)

This pull request includes optimizations to the gas usage in the
`Safe.sol` and `StorageAccessible.sol` contracts by replacing
multiplication operations with bitwise shift operations. While the `DIV
/ MUL` opcode uses 5 gas, the `SHR / SHL` opcode only uses 3 gas.

Gas optimization changes:

*
[`contracts/Safe.sol`](diffhunk://#diff-587b494ea16e1163b26e39de24e9483deL168-R169):
Replaced the multiplication operation `* 64` with the bitwise shift
operation `<< 6` to reduce gas costs in the `gasleft` check.
*
[`contracts/common/StorageAccessible.sol`](diffhunk://#diff-a7dd65d90752ccf309800fad93fba354eL18-R18):
Replaced the multiplication operation `* 32` with the bitwise shift
operation `<< 5` to reduce gas costs when creating a new bytes array.

325 of 366 branches covered (88.8%)

Branch coverage included in aggregate %.

2 of 2 new or added lines in 2 files covered. (100.0%)

499 of 511 relevant lines covered (97.65%)

100.88 hits per line