Euler Ethereum Vault Connector Audit

Off-Chain (Private)
Audited on 2024/05/20
No active critical issues

Summary

& Additional Information 9 (4 resolved, 1 partially resolved) Client Reported Issues 0 (0 resolved) Scope We audited the euler-xyz/ethereum-vault-connector repository at the 69626eba206ae301b919f021e71b49feaf7ea8f5 commit.  src/... System Overview The audited system revolves around the EthereumVaultConnector contract (referred to as the EVC), acting as a mediator for the interactions of vaults that adhere to the ERC-4626 standard. The system is designed to function as a framework for lending markets, facilitating the deposit...

Issues (5)

Low
Medium
High
Critical
Total
Not fixed
1---1
Fixed
4---4
Total50005

Contracts (11)

#File Name
1

src/ExecutionContext.sol

2

src/interfaces/IERC1271.sol

3

src/Events.sol

4

src/interfaces/IVault.sol

5

src/TransientStorage.sol

6

src/Errors.sol

7

src/Set.sol

8

certora/mutation/mutants/CER-68/EthereumVaultConnector.sol

9

src/interfaces/IEthereumVaultConnector.sol

10

src/utils/EVCUtil.sol