safe-global / safe-smart-account / 10770652024

94%

push

github

Audit Changes for `v1.4.1-2` cherry picked from `release/v1.4.1-2` (#815)

This PR makes the changes based on Certora's audit report from the
branch `release/v1.4.1-2` to `main`.

In the release branch, we used the `ISafe` contract written inside the
respective library files, but with `main`, we use the `ISafe` standard
interface in the `interfaces` folder. Similarly, `Enum` was moved from
`common` to `libraries`, and thus that is used for the same in the
migration contracts.

Note: A `fmt` change was made to `DebugTransactionGuard.sol`.

259 of 292 branches covered (88.7%)

Branch coverage included in aggregate %.

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

396 of 408 relevant lines covered (97.06%)

100.42 hits per line