safe-global / safe-contracts / 5423460302

94%

main: 94%

push

github

Feature: Mark assembly blocks as memory-safe (#545)

* add setup and rules about modules

* fix run script

* use solc7.6 for fv

* Mark assembly blocks as memory-safe

* use solidity 0.8.19 for github action benchmark

* Update makefile

* fix the harness patch

* properties doc skeleton

* properties notes

* use 10m optimizer runs

* Write calldata/return data to the memory allocated via the free memory pointer

* memory-safe simulateAndRevert

* Update CLA github action to v2.3.0

* add certora workflow

* Fix changelog mention of createChainSpecificProxyWithNonce

* fix script path

* use cvl2

* Remove gasleft in setupModules, add erc4337 compatibility test

* Fix typechecking in test files (#573)

* verify that guard can only be updated through setGuard

* Verify functions that may change the fallback handler address (#566)

* Add an invariant for singleton address (#565)

* Add an optimistic assumption about DELEGATECALL, update nonce monotonicity rule (#574)

* Pump version to 1.4.1 (#579)

* Formal verification: native token balance updates (#582)

* Add an optimistic assumption about DELEGATECALL, update nonce monotonicity rule

* Add a rule for token balance

* Add more rules for native token balance transition

* Fix addresses for 1.4.1 in changelog (#590)

* Fix certora CI action

* Formal verification: No message can be signed through the core contract (#583)

* Add a rule for no signed messages

* Add a rule for no signed messages

* fix munged patch

---------

Co-authored-by: teryanarmen <61996358+teryanarmen@users.noreply.github.com>
Co-authored-by: Uxio Fuentefria <Uxio0@users.noreply.github.com>
Co-authored-by: Francisco Giordano <fg@frang.io>
Co-authored-by: Richard Meissner <rmeissner@users.noreply.github.com>
Co-authored-by: Mikhail Mikheev <mmv@pop-os.localdomain>

154 of 168 branches covered (91.67%)

Branch coverage included in aggregate %.

311 of 326 relevant lines covered (95.4%)

104.82 hits per line