morpho-aavev3-optimizer

morpho-aavev3-optimizer copied to clipboard

# Pull Request ## Issue(s) fixed This pull request: - fixes https://github.com/spearbit-audits/review-morpho-june/issues/28#issuecomment-1582196383 This is a fix to the vulnerability disclosed by Spearbit, which cannot be used in production currently because:...

Rubilmax

`Accrued.rewardsAccrued` can be zero

1

## Issue https://github.com/morpho-org/morpho-aave-v3/blob/03cee70c50a8d0abf3c5eebdd416127fe8a54ea5/src/RewardsManager.sol#L355-357 `Accrued` event is emitted without regard to `rewardsAccrued`: sometimes, when claiming rewards for assets the user didn't supply/borrow for, `Accrued` events are emitted because the reward's asset...

Rubilmax

Use network specific config for tests with permit2

13

pakim249CAL

Test the testing suite with mutations

6

Using https://github.com/Certora/gambit

MathisGD

- This repo is foundry based - and updated (the old one doesn't have v3.2)

MathisGD

QGarchery

See: - [the proposal](https://governance.aave.com/t/direct-to-aip-bgd-aave-v3-5-v3-4-part-2/22639) - [the code base](https://github.com/aave-dao/aave-v3-origin/pull/133)

QGarchery