safe-global / safe-smart-account / 12694101652

94%

push

github

[Certora Audit] G-05. Use `iszero` instead of `eq(*, 0)` (#892)

This pull request includes a critical update to the `SafeProxyFactory`
contract in the `contracts/proxies/SafeProxyFactory.sol` file. The
change improves the gas cost of the assembly code by replacing the `eq`
function with the `iszero` function.

Key change:

*
[`contracts/proxies/SafeProxyFactory.sol`](diffhunk://#diff-53aac98a0cc90b95181187d9862b4ad6eL43-R43):
Replaced the `eq` function with the `iszero` function in the assembly
block to improve code readability and reliability.

324 of 366 branches covered (88.52%)

Branch coverage included in aggregate %.

496 of 508 relevant lines covered (97.64%)

101.08 hits per line