[SCA] Aark Digital / DEX

Off-Chain (Private)

Audited on 2023/04/26

1 active critical issue

Summary

Aark Digital is the first-of-its-kind Leverage Everything Perpetual DEX for professional traders/LPs on Arbitrum. Their vision is to find the right formula to incorporate the best of DEX and CEXs. At its end, Aark will bring all onchain assets into a single liquidity pool to provide an unprecedented leverage experience.

Project

V2X / Aark Digital

Issues (20)

	Low	Medium	High	Critical	Total
Not fixed	14	-	1	1	16
Fixed	-	2	1	1	4
Total	14	2	2	2	20

Contracts (52)

#	File Name
31	contracts/libraries/logics/InsuranceLogic.sol
32	contracts/core/router/MasterRouter.sol
33	contracts/core/managers/FuturesManager.sol
34	contracts/interfaces/oracle/IAggregatorV3Interface.sol
35	contracts/core/managers/CommonManager.sol
36	contracts/core/storages/PriceOracleStorage.sol
37	contracts/core/price-oracle/PriceOracle.sol
38	contracts/interfaces/routers/IFuturesRouter.sol
39	contracts/interfaces/IVault.sol
40	contracts/interfaces/managers/IInsuranceManager.sol

#	File Name
31	contracts/libraries/logics/InsuranceLogic.sol
32	contracts/core/router/MasterRouter.sol
33	contracts/core/managers/FuturesManager.sol
34	contracts/interfaces/oracle/IAggregatorV3Interface.sol
35	contracts/core/managers/CommonManager.sol
36	contracts/core/storages/PriceOracleStorage.sol
37	contracts/core/price-oracle/PriceOracle.sol
38	contracts/interfaces/routers/IFuturesRouter.sol
39	contracts/interfaces/IVault.sol
40	contracts/interfaces/managers/IInsuranceManager.sol

[SCA] Aark Digital / DEX

Summary

Issues (20)

Requirements Violationnot_fixed/critical

Undocumented Behaviornot_fixed/high

Function Name-Functionality Mismatchnot_fixed/low

No Messages in Require Conditionsnot_fixed/low

Redundant Inheritnot_fixed/low

Contracts (52)