[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
1	contracts/core/storages/ReserveStorage.sol
2	contracts/libraries/updator/PositionUpdator.sol
3	contracts/interfaces/IAddressCache.sol
4	contracts/core/storages/CommonManagerStorage.sol
5	contracts/libraries/logics/FuturesLogic.sol
6	contracts/interfaces/token/IWETH.sol
7	contracts/core/common/AccessController.sol
8	contracts/libraries/configurations/TierConfig.sol
9	contracts/interfaces/managers/ICollateralManager.sol
10	contracts/core/common/Observer.sol

#	File Name
1	contracts/core/storages/ReserveStorage.sol
2	contracts/libraries/updator/PositionUpdator.sol
3	contracts/interfaces/IAddressCache.sol
4	contracts/core/storages/CommonManagerStorage.sol
5	contracts/libraries/logics/FuturesLogic.sol
6	contracts/interfaces/token/IWETH.sol
7	contracts/core/common/AccessController.sol
8	contracts/libraries/configurations/TierConfig.sol
9	contracts/interfaces/managers/ICollateralManager.sol
10	contracts/core/common/Observer.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)