Aave StableVault

CertoraCode version: not recorded (see the report)

Audit · firm’s term: formal verification

Certora reviewed Aave (Aave StableVault) on 30 Jun 2026: no findings reported.

No open critical findings
Open the reportOpen Aave’s security record

Report hosted on GitHub.

Trustblock does not review code.

Findings0

Statuses are the security firm’s own, from its report.

SeverityOpenAcknowledgedFixed
Critical000
High000
Medium000
Low000

No open finding in this report.

Contracts in scope

No deployed address is recorded for this audit.

The report names a repository or files. Open the report to see its scope.

Part of Aave’s security record

Aave
Audits28 audits by 11 firmsLast audit Jun 2026, by Certora.
Critical findingsNo open critical findingsAcross the 28 reports, 6 critical findings were reported. Each is marked fixed by the firm that reported it.
IncidentIncident 27 Aug 2024Source: De.Fi incident database.
Open Aave’s security record

Security firm

Certora

9 projects reviewed · 17 reports · latest Jun 2026

See Certora’s audits

Something wrong on this page? A missing report, a wrong date, a finding that was fixed since. Tell us and we check it against its source.

Tell us