The smart contracts and core DeFi operating codes were audited by external auditing firm Beosin Blockchain Security firm. The audit report is now available via below link.
Audit Scope : https://github.com/quotafinance/quota-core/tree/auditarrow-up-right
Audit Method
Formal Verification
Static Analysis
Typical Case Testing & Manual Review
Audit work duration : Jan 11, 2023 - Feb 03, 2023
Audit team : Beosin Security Teamarrow-up-right
1
Coding Conventions
Compiler Version Security
Deprecated Items
Redundant Code
Require/asset Usage
Gas Consumption
2
General Vulnerability
Integer OVerflow/Underflow
Reentrancy
Pseudo-random Number Generator
Transaction-Ordering Dependance
DoS (Denial of Service)
Function call Permissions
call/delegatecall Security
Returned Value Security
tx. origin Usage
Replay Attack
Overriding Variables
Third-party Protocol Interface Consistency
3
Business Security
Buisness Logics
Business implementations
Manipulable Token Price
Centralized Asset Control
Asset Tradability
Arbitrage Attack
Beosin Blockchain Security Audit Report(February 2023)
Last updated 2 years ago