background
logo

Security Audit Report for Mantle's mStocks Protocol

DESCRIPTION

The target of this audit is the private code repository of mStocks Protocol of Mantle. Please refer to the report for the detailed audit scope.

Our audit methodology employs automated vulnerability scans, manual verification, and business logic analysis to uncover potential security issues coupled with gas and code quality optimization recommendations.

In summary, we did not find any critical issues within the audited codebase. However, we have identified some non-critical issues that should be addressed. Additionally, we have put forth recommendations and notes that should be taken into consideration. It is important to note that the scope of our audit was strictly limited to the specific code versions mentioned in the report. Any updates made subsequent to our review would require a re-evaluation.

KEY FINDINGS

In total, we find 7 potential issues in the smart contract. We also have 7 recommendations and 7 notes, as follows:

High Risk: 0
Medium Risk: 0
Low Risk: 7
Recommendation: 7
Note: 7
ID Severity Description Status
1 Low Potential circumvention of role isolation rule Confirmed
2 Low Lack of upgrade capability in contract TokenIssuer Fixed
3 Low Circumvention of contract-only privilege restrictions Confirmed
4 Low Incorrect pause logic on function withdraw() Partially Fixed
5 Low Lack of token validation in contract TokenIssuer Confirmed
6 Low Lack of role revocation for a publicly derivable wallet Fixed
7 Low Potential overwriting of a pending multiplier Confirmed
8 - Emit issuer transfer events Fixed
9 - Remove the redundant codes Fixed
10 - Align annotations with implementation Fixed
11 - Add validations on the symbol Fixed
12 - Avoid overflow in function getTokens() Fixed
13 - Add a length check for newList Fixed
14 - Add a uniqueness check on the assetCode Fixed
15 - Potential centralization risks -
16 - Ensure migration of crucial configurations for existing tokens -
17 - Dust visibility due to precision loss -
18 - Immutable EIP712 domain -
19 - Token lifecycle management -
20 - Compliance model -
21 - Allowances are denominated in raw units -

More details are provided in the audit report.

Take the first step towards a secure future

Reach out now for BlockSec's expert code audit services, elevate the security of your protocol before it goes live!