search

morpho-org / morpho-token-upgradeable

Other
7 stars 8 forks source link

[Certora] Verify reentrancy #90

Closed colin-morpho closed 2 weeks ago

colin-morpho commented 2 weeks ago

It shows that the Ethereum version is reentrant safe and immutable (up to upgrade).

Replaces #85

TODO:

colin-morpho commented 2 weeks ago

Related discussion in https://github.com/morpho-org/morpho-token-upgradeable/pull/85#discussion_r1832232617 and https://github.com/morpho-org/morpho-token-upgradeable/pull/85#discussion_r1832233654

colin-morpho commented 2 weeks ago

we could check that in upgradeToAndCall the contract calls itself, and not an other contract but not mandatory

We could indeed add this in #84.