Xave Finance 2nd audit

CertiKFiles named in the report

Audit

CertiK reviewed HaloDAO (Xave Finance 2nd audit) on 6 May 2022: 6 findings, 0 critical; 2 marked fixed, 4 acknowledged.

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

Report hosted on skynet.certik.com.

Trustblock does not review code.

Findings6

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

SeverityOpenAcknowledgedFixed
Critical000
High000
Medium002
Low040
MediumSafeMath Not UsedFixed

Usage of `SafeMath` library prevents the arithmetic attacks in solidity versions released before Version 0.8.0. The listed lines of code have arithmetic statements that are vulnerable to underflow and overflow attacks.

MediumUsage of SafeCastFixed

There are type conversions from `uint256` to `int256` that could cause overflows.

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.

Repository and files the report names (2)

  • contracts/HLPPriceFeedOracle.sol
  • contracts/PriceFeed.sol

Part of HaloDAO’s security record

HaloDAO
Audits1 audit by 1 firmLast audit May 2022, by CertiK.
Critical findingsNo open critical findingsIn 1 report.
IncidentIncident 7 Oct 2022Source: De.Fi incident database.
Open HaloDAO’s security record

Security firm

CertiK

1,044 projects reviewed · 1,375 reports · latest May 2025

See CertiK’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