

Archon public report
MantleMegaVaultStressTest_Suite__3_contracts_
Mantle Mainnet · scan depth full-report · generated 6/16/2026, 12:02:25 AM
Risk Score
100
Archon completed a read-only Mantle Mainnet audit of MantleMegaVaultStressTest_Suite__3_contracts_ and found 98 deterministic findings. The highest-priority issue is Weak Prng, with risk score 100/100 based on severity-weighted findings. The function weakRandomBonus uses block properties that can be influenced by miners, making it unsuitable for generating secure randomness. Review the recommended fixes and run regression tests before deployment.
Findings
| Severity | Finding | Location | Confidence |
|---|---|---|---|
| high | Weak Prng The function weakRandomBonus uses block properties that can be influenced by miners, making it unsuitable for generating secure randomness. | MantleMegaVaultStressTest_Suite__3_contracts_.sol:634 | 70% |
| high | Controlled Delegatecall The adminDelegateCall function allows for delegate calls to arbitrary contracts, which can lead to storage manipulation. | MantleMegaVaultStressTest_Suite__3_contracts_.sol:289 | 80% |
| high | Unchecked Transfer The withdrawWithHook function performs an external call before updating the state, which can lead to reentrancy vulnerabilities. | MantleMegaVaultStressTest_Suite__3_contracts_.sol:430 | 90% |
| high | Unchecked Transfer The weakRandomBonus function is susceptible to manipulation due to reliance on block properties. | MantleMegaVaultStressTest_Suite__3_contracts_.sol:634 | 70% |
| high | Unchecked Transfer The withdraw function performs an external transfer before updating the state, which can lead to reentrancy vulnerabilities. | MantleMegaVaultStressTest_Suite__3_contracts_.sol:404 | 90% |
| high | Unchecked Transfer The function claimAirdropWithSig does not check the return value of the token transfer, which can lead to unexpected behavior if the token transfer fails. | MantleMegaVaultStressTest_Suite__3_contracts_.sol:574 | 80% |
| high | Unchecked Transfer The function sweepTokenByOrigin ignores the return value of the token transfer, which may lead to loss of funds if the transfer fails. | MantleMegaVaultStressTest_Suite__3_contracts_.sol:261 | 75% |
| high | Unchecked Transfer The claimRewards function does not check the return value of the token transfer, which can lead to reentrancy issues with malicious tokens. | MantleMegaVaultStressTest_Suite__3_contracts_.sol:381 | 85% |
| high | Unchecked Transfer The deposit function does not check the return value of the token transfer, which can lead to unexpected behavior if the transfer fails. | MantleMegaVaultStressTest_Suite__3_contracts_.sol:303 | 70% |
| medium | Reentrancy No Eth Reentrancy No Eth was detected from deterministic analysis at MantleMegaVaultStressTest_Suite__3_contracts_.sol:381-397. The issue should be reviewed because it can affect contract correctness, user balances, or operational cost depending on how the function is used. | MantleMegaVaultStressTest_Suite__3_contracts_.sol:381 | 74% |
| medium | Reentrancy No Eth The withdrawWithHook function allows for an external call before the state is updated, which can lead to reentrancy attacks. | MantleMegaVaultStressTest_Suite__3_contracts_.sol:430 | 70% |
| medium | Reentrancy No Eth The withdraw function performs an external call before updating the state, which can lead to reentrancy vulnerabilities. | MantleMegaVaultStressTest_Suite__3_contracts_.sol:404 | 70% |
| medium | Tx Origin The sweepTokenByOrigin function uses tx.origin for authorization, which can lead to security issues. | MantleMegaVaultStressTest_Suite__3_contracts_.sol:261 | 60% |
| medium | Unused Return The userCollateralValue function reads latestTimestamp but does not validate it, which could lead to incorrect assumptions about data freshness. | MantleMegaVaultStressTest_Suite__3_contracts_.sol:607 | 50% |
| low | Events Access The transferOwnership function allows ownership transfer without proper checks, which can lead to loss of ownership. | MantleMegaVaultStressTest_Suite__3_contracts_.sol:238 | 60% |
| low | Events Maths The function setProtocolFeeBps allows the owner to set a new protocol fee without any bounds checking. | MantleMegaVaultStressTest_Suite__3_contracts_.sol:229 | 70% |
| low | Events Maths The function setRewardRatePerSecond allows the owner to set a new reward rate without validation. | MantleMegaVaultStressTest_Suite__3_contracts_.sol:220 | 70% |
| low | Missing Zero Check The withdrawWithHook function does not check if positionId is valid or if the hook address is non-zero. | MantleMegaVaultStressTest_Suite__3_contracts_.sol:430 | 80% |
| low | Missing Zero Check The constructor does not validate the addresses provided for _mntToken, _oracle, and _treasury. | MantleMegaVaultStressTest_Suite__3_contracts_.sol:187 | 80% |
| low | Missing Zero Check The adminDelegateCall function does not validate the target address. | MantleMegaVaultStressTest_Suite__3_contracts_.sol:289 | 80% |
| low | Missing Zero Check The adminCall function lacks a check for zero addresses, which could lead to unintended behavior if a zero address is passed. | MantleMegaVaultStressTest_Suite__3_contracts_.sol:274 | 70% |
| low | Missing Zero Check The transferOwnership function does not check for a zero address, which could lead to ownership being transferred to an invalid address. | MantleMegaVaultStressTest_Suite__3_contracts_.sol:238 | 70% |
| low | Missing Zero Check The setTreasury function lacks a check for zero addresses, which could lead to issues if a zero address is set as the treasury. | MantleMegaVaultStressTest_Suite__3_contracts_.sol:212 | 70% |
| low | Missing Zero Check The setOracleUnsafe function does not check for a zero address, which could lead to the oracle being set to an invalid address. | MantleMegaVaultStressTest_Suite__3_contracts_.sol:247 | 70% |
| low | Calls Loop The withdraw function performs an external call before updating the state, which can lead to reentrancy vulnerabilities. | MantleMegaVaultStressTest_Suite__3_contracts_.sol:404 | 80% |
| low | Reentrancy Benign The deposit function ignores the return value of the token transfer, which can lead to unexpected behavior if the transfer fails. | MantleMegaVaultStressTest_Suite__3_contracts_.sol:303 | 70% |
| low | Reentrancy Benign The claimRewards function does not check the return value of the token transfer, which could lead to issues if the transfer fails. | MantleMegaVaultStressTest_Suite__3_contracts_.sol:381 | 70% |
| low | Reentrancy Events The weakRandomBonus function uses block variables that can be influenced by miners, which may lead to predictable outcomes. | MantleMegaVaultStressTest_Suite__3_contracts_.sol:634 | 60% |
| low | Reentrancy Events The sweepTokenByOrigin function ignores the return value of the token transfer, which can lead to issues if the transfer fails. | MantleMegaVaultStressTest_Suite__3_contracts_.sol:303 | 70% |
| low | Reentrancy Events The deposit function ignores the return value of the token transfer, which can lead to unexpected behavior if the transfer fails. | MantleMegaVaultStressTest_Suite__3_contracts_.sol:261 | 70% |
| low | Reentrancy Events The function executeStrategy uses delegatecall or call to execute external strategies, which may lead to reentrancy vulnerabilities if the target contract is not trusted. | MantleMegaVaultStressTest_Suite__3_contracts_.sol:694 | 70% |
| low | Reentrancy Events The withdraw function transfers tokens before updating the position state, which can lead to reentrancy attacks. | MantleMegaVaultStressTest_Suite__3_contracts_.sol:404 | 80% |
| low | Reentrancy Events The claimRewards function transfers rewards before updating the position state, which can lead to reentrancy vulnerabilities. | MantleMegaVaultStressTest_Suite__3_contracts_.sol:381 | 75% |
| low | Reentrancy Events The withdrawWithHook function allows for an external hook call before updating the position state, which can lead to reentrancy attacks. | MantleMegaVaultStressTest_Suite__3_contracts_.sol:430 | 80% |
| low | Timestamp The updateManyNotes function does not have any checks against excessive gas consumption or unbounded loops. | MantleMegaVaultStressTest_Suite__3_contracts_.sol:464 | 60% |
| low | Timestamp External call before state update can lead to reentrancy vulnerabilities. | MantleMegaVaultStressTest_Suite__3_contracts_.sol:404 | 80% |
| low | Timestamp External call before state update can lead to reentrancy vulnerabilities. | MantleMegaVaultStressTest_Suite__3_contracts_.sol:381 | 80% |
| low | Timestamp External call before state update can lead to reentrancy vulnerabilities. | MantleMegaVaultStressTest_Suite__3_contracts_.sol:430 | 80% |
| info | Costly Loop Costly Loop was detected from deterministic analysis at MantleMegaVaultStressTest_Suite__3_contracts_.sol:523-558. The issue should be reviewed because it can affect contract correctness, user balances, or operational cost depending on how the function is used. | MantleMegaVaultStressTest_Suite__3_contracts_.sol:523 | 74% |
| info | Costly Loop Costly Loop was detected from deterministic analysis at MantleMegaVaultStressTest_Suite__3_contracts_.sol:745-761. The issue should be reviewed because it can affect contract correctness, user balances, or operational cost depending on how the function is used. | MantleMegaVaultStressTest_Suite__3_contracts_.sol:745 | 74% |
| info | Low Level Calls Low Level Calls was detected from deterministic analysis at MantleMegaVaultStressTest_Suite__3_contracts_.sol:274-282. The issue should be reviewed because it can affect contract correctness, user balances, or operational cost depending on how the function is used. | MantleMegaVaultStressTest_Suite__3_contracts_.sol:274 | 74% |
| info | Low Level Calls Low Level Calls was detected from deterministic analysis at MantleMegaVaultStressTest_Suite__3_contracts_.sol:694-711. The issue should be reviewed because it can affect contract correctness, user balances, or operational cost depending on how the function is used. | MantleMegaVaultStressTest_Suite__3_contracts_.sol:694 | 74% |
| info | Low Level Calls Low Level Calls was detected from deterministic analysis at MantleMegaVaultStressTest_Suite__3_contracts_.sol:430-447. The issue should be reviewed because it can affect contract correctness, user balances, or operational cost depending on how the function is used. | MantleMegaVaultStressTest_Suite__3_contracts_.sol:430 | 74% |
| info | Low Level Calls Low Level Calls was detected from deterministic analysis at MantleMegaVaultStressTest_Suite__3_contracts_.sol:289-297. The issue should be reviewed because it can affect contract correctness, user balances, or operational cost depending on how the function is used. | MantleMegaVaultStressTest_Suite__3_contracts_.sol:289 | 74% |
| low | Cache Array Length Cache Array Length was detected from deterministic analysis at MantleMegaVaultStressTest_Suite__3_contracts_.sol:773. The issue should be reviewed because it can affect contract correctness, user balances, or operational cost depending on how the function is used. | MantleMegaVaultStressTest_Suite__3_contracts_.sol:773 | 74% |
| low | Cache Array Length Cache Array Length was detected from deterministic analysis at MantleMegaVaultStressTest_Suite__3_contracts_.sol:734. The issue should be reviewed because it can affect contract correctness, user balances, or operational cost depending on how the function is used. | MantleMegaVaultStressTest_Suite__3_contracts_.sol:734 | 74% |
| low | Immutable States Immutable States was detected from deterministic analysis at MantleMegaVaultStressTest_Suite__3_contracts_.sol:56. The issue should be reviewed because it can affect contract correctness, user balances, or operational cost depending on how the function is used. | MantleMegaVaultStressTest_Suite__3_contracts_.sol:56 | 74% |
| high | tx.origin authorization can be phished through proxy calls tx.origin authorization can be phished through proxy calls was detected from deterministic analysis at MantleMegaVaultStressTest_Suite__3_contracts_.sol:14. The issue should be reviewed because it can affect contract correctness, user balances, or operational cost depending on how the function is used. | MantleMegaVaultStressTest_Suite__3_contracts_.sol:14 | 86% |
| medium | Timestamp-sensitive settlement lacks explicit tolerance window Timestamp-sensitive settlement lacks explicit tolerance window was detected from deterministic analysis at MantleMegaVaultStressTest_Suite__3_contracts_.sol:19. The issue should be reviewed because it can affect contract correctness, user balances, or operational cost depending on how the function is used. | MantleMegaVaultStressTest_Suite__3_contracts_.sol:19 | 74% |
| medium | Pack small storage variables into fewer slots Pack small storage variables into fewer slots was detected from deterministic analysis at MantleMegaVaultStressTest_Suite__3_contracts_.sol:85. The issue should be reviewed because it can affect contract correctness, user balances, or operational cost depending on how the function is used. | MantleMegaVaultStressTest_Suite__3_contracts_.sol:85 | 74% |
| medium | Pack small storage variables into fewer slots Pack small storage variables into fewer slots was detected from deterministic analysis at MantleMegaVaultStressTest_Suite__3_contracts_.sol:99. The issue should be reviewed because it can affect contract correctness, user balances, or operational cost depending on how the function is used. | MantleMegaVaultStressTest_Suite__3_contracts_.sol:99 | 74% |
| medium | Pack small storage variables into fewer slots Pack small storage variables into fewer slots was detected from deterministic analysis at MantleMegaVaultStressTest_Suite__3_contracts_.sol:111. The issue should be reviewed because it can affect contract correctness, user balances, or operational cost depending on how the function is used. | MantleMegaVaultStressTest_Suite__3_contracts_.sol:111 | 74% |
| low | Review calldata parameter width Review calldata parameter width was detected from deterministic analysis at MantleMegaVaultStressTest_Suite__3_contracts_.sol:30. The issue should be reviewed because it can affect contract correctness, user balances, or operational cost depending on how the function is used. | MantleMegaVaultStressTest_Suite__3_contracts_.sol:30 | 74% |
| low | Review calldata parameter width Review calldata parameter width was detected from deterministic analysis at MantleMegaVaultStressTest_Suite__3_contracts_.sol:32. The issue should be reviewed because it can affect contract correctness, user balances, or operational cost depending on how the function is used. | MantleMegaVaultStressTest_Suite__3_contracts_.sol:32 | 74% |
| low | Review calldata parameter width Review calldata parameter width was detected from deterministic analysis at MantleMegaVaultStressTest_Suite__3_contracts_.sol:261. The issue should be reviewed because it can affect contract correctness, user balances, or operational cost depending on how the function is used. | MantleMegaVaultStressTest_Suite__3_contracts_.sol:261 | 74% |
| info | Replace long revert string with custom error Replace long revert string with custom error was detected from deterministic analysis at MantleMegaVaultStressTest_Suite__3_contracts_.sol:262. The issue should be reviewed because it can affect contract correctness, user balances, or operational cost depending on how the function is used. | MantleMegaVaultStressTest_Suite__3_contracts_.sol:262 | 74% |
| info | Replace long revert string with custom error Replace long revert string with custom error was detected from deterministic analysis at MantleMegaVaultStressTest_Suite__3_contracts_.sol:295. The issue should be reviewed because it can affect contract correctness, user balances, or operational cost depending on how the function is used. | MantleMegaVaultStressTest_Suite__3_contracts_.sol:295 | 74% |
| info | Replace long revert string with custom error Replace long revert string with custom error was detected from deterministic analysis at MantleMegaVaultStressTest_Suite__3_contracts_.sol:313. The issue should be reviewed because it can affect contract correctness, user balances, or operational cost depending on how the function is used. | MantleMegaVaultStressTest_Suite__3_contracts_.sol:313 | 74% |
| info | Replace long revert string with custom error Replace long revert string with custom error was detected from deterministic analysis at MantleMegaVaultStressTest_Suite__3_contracts_.sol:384. The issue should be reviewed because it can affect contract correctness, user balances, or operational cost depending on how the function is used. | MantleMegaVaultStressTest_Suite__3_contracts_.sol:384 | 74% |
| info | Replace long revert string with custom error Replace long revert string with custom error was detected from deterministic analysis at MantleMegaVaultStressTest_Suite__3_contracts_.sol:407. The issue should be reviewed because it can affect contract correctness, user balances, or operational cost depending on how the function is used. | MantleMegaVaultStressTest_Suite__3_contracts_.sol:407 | 74% |
| info | Replace long revert string with custom error Replace long revert string with custom error was detected from deterministic analysis at MantleMegaVaultStressTest_Suite__3_contracts_.sol:433. The issue should be reviewed because it can affect contract correctness, user balances, or operational cost depending on how the function is used. | MantleMegaVaultStressTest_Suite__3_contracts_.sol:433 | 74% |
| info | Replace long revert string with custom error Replace long revert string with custom error was detected from deterministic analysis at MantleMegaVaultStressTest_Suite__3_contracts_.sol:469. The issue should be reviewed because it can affect contract correctness, user balances, or operational cost depending on how the function is used. | MantleMegaVaultStressTest_Suite__3_contracts_.sol:469 | 74% |
| info | Replace long revert string with custom error Replace long revert string with custom error was detected from deterministic analysis at MantleMegaVaultStressTest_Suite__3_contracts_.sol:697. The issue should be reviewed because it can affect contract correctness, user balances, or operational cost depending on how the function is used. | MantleMegaVaultStressTest_Suite__3_contracts_.sol:697 | 74% |
| info | Replace long revert string with custom error Replace long revert string with custom error was detected from deterministic analysis at MantleMegaVaultStressTest_Suite__3_contracts_.sol:698. The issue should be reviewed because it can affect contract correctness, user balances, or operational cost depending on how the function is used. | MantleMegaVaultStressTest_Suite__3_contracts_.sol:698 | 74% |
| info | Mark never-changing value constant or immutable Mark never-changing value constant or immutable was detected from deterministic analysis at MantleMegaVaultStressTest_Suite__3_contracts_.sol:53. The issue should be reviewed because it can affect contract correctness, user balances, or operational cost depending on how the function is used. | MantleMegaVaultStressTest_Suite__3_contracts_.sol:53 | 74% |
| info | Cache repeated storage read Cache repeated storage read was detected from deterministic analysis at MantleMegaVaultStressTest_Suite__3_contracts_.sol:217. The issue should be reviewed because it can affect contract correctness, user balances, or operational cost depending on how the function is used. | MantleMegaVaultStressTest_Suite__3_contracts_.sol:217 | 74% |
| info | Cache repeated storage read Cache repeated storage read was detected from deterministic analysis at MantleMegaVaultStressTest_Suite__3_contracts_.sol:337. The issue should be reviewed because it can affect contract correctness, user balances, or operational cost depending on how the function is used. | MantleMegaVaultStressTest_Suite__3_contracts_.sol:337 | 74% |
| info | Cache repeated storage read Cache repeated storage read was detected from deterministic analysis at MantleMegaVaultStressTest_Suite__3_contracts_.sol:456. The issue should be reviewed because it can affect contract correctness, user balances, or operational cost depending on how the function is used. | MantleMegaVaultStressTest_Suite__3_contracts_.sol:456 | 74% |
| info | Cache repeated storage read Cache repeated storage read was detected from deterministic analysis at MantleMegaVaultStressTest_Suite__3_contracts_.sol:497. The issue should be reviewed because it can affect contract correctness, user balances, or operational cost depending on how the function is used. | MantleMegaVaultStressTest_Suite__3_contracts_.sol:497 | 74% |
| info | Cache repeated storage read Cache repeated storage read was detected from deterministic analysis at MantleMegaVaultStressTest_Suite__3_contracts_.sol:511. The issue should be reviewed because it can affect contract correctness, user balances, or operational cost depending on how the function is used. | MantleMegaVaultStressTest_Suite__3_contracts_.sol:511 | 74% |
| info | Use unchecked loop increment where bounded Use unchecked loop increment where bounded was detected from deterministic analysis at MantleMegaVaultStressTest_Suite__3_contracts_.sol:455. The issue should be reviewed because it can affect contract correctness, user balances, or operational cost depending on how the function is used. | MantleMegaVaultStressTest_Suite__3_contracts_.sol:455 | 74% |
| info | Use unchecked loop increment where bounded Use unchecked loop increment where bounded was detected from deterministic analysis at MantleMegaVaultStressTest_Suite__3_contracts_.sol:467. The issue should be reviewed because it can affect contract correctness, user balances, or operational cost depending on how the function is used. | MantleMegaVaultStressTest_Suite__3_contracts_.sol:467 | 74% |
| info | Use unchecked loop increment where bounded Use unchecked loop increment where bounded was detected from deterministic analysis at MantleMegaVaultStressTest_Suite__3_contracts_.sol:524. The issue should be reviewed because it can affect contract correctness, user balances, or operational cost depending on how the function is used. | MantleMegaVaultStressTest_Suite__3_contracts_.sol:524 | 74% |
| info | Use unchecked loop increment where bounded Use unchecked loop increment where bounded was detected from deterministic analysis at MantleMegaVaultStressTest_Suite__3_contracts_.sol:620. The issue should be reviewed because it can affect contract correctness, user balances, or operational cost depending on how the function is used. | MantleMegaVaultStressTest_Suite__3_contracts_.sol:620 | 74% |
| info | Use unchecked loop increment where bounded Use unchecked loop increment where bounded was detected from deterministic analysis at MantleMegaVaultStressTest_Suite__3_contracts_.sol:734. The issue should be reviewed because it can affect contract correctness, user balances, or operational cost depending on how the function is used. | MantleMegaVaultStressTest_Suite__3_contracts_.sol:734 | 74% |
| info | Use unchecked loop increment where bounded Use unchecked loop increment where bounded was detected from deterministic analysis at MantleMegaVaultStressTest_Suite__3_contracts_.sol:773. The issue should be reviewed because it can affect contract correctness, user balances, or operational cost depending on how the function is used. | MantleMegaVaultStressTest_Suite__3_contracts_.sol:773 | 74% |
| info | Use unchecked loop increment where bounded Use unchecked loop increment where bounded was detected from deterministic analysis at MantleMegaVaultStressTest_Suite__3_contracts_.sol:798. The issue should be reviewed because it can affect contract correctness, user balances, or operational cost depending on how the function is used. | MantleMegaVaultStressTest_Suite__3_contracts_.sol:798 | 74% |
| info | Cache array length before loop Cache array length before loop was detected from deterministic analysis at MantleMegaVaultStressTest_Suite__3_contracts_.sol:455. The issue should be reviewed because it can affect contract correctness, user balances, or operational cost depending on how the function is used. | MantleMegaVaultStressTest_Suite__3_contracts_.sol:455 | 74% |
| info | Cache array length before loop Cache array length before loop was detected from deterministic analysis at MantleMegaVaultStressTest_Suite__3_contracts_.sol:467. The issue should be reviewed because it can affect contract correctness, user balances, or operational cost depending on how the function is used. | MantleMegaVaultStressTest_Suite__3_contracts_.sol:467 | 74% |
| info | Cache array length before loop Cache array length before loop was detected from deterministic analysis at MantleMegaVaultStressTest_Suite__3_contracts_.sol:524. The issue should be reviewed because it can affect contract correctness, user balances, or operational cost depending on how the function is used. | MantleMegaVaultStressTest_Suite__3_contracts_.sol:524 | 74% |
| info | Cache array length before loop Cache array length before loop was detected from deterministic analysis at MantleMegaVaultStressTest_Suite__3_contracts_.sol:620. The issue should be reviewed because it can affect contract correctness, user balances, or operational cost depending on how the function is used. | MantleMegaVaultStressTest_Suite__3_contracts_.sol:620 | 74% |
| info | Cache array length before loop Cache array length before loop was detected from deterministic analysis at MantleMegaVaultStressTest_Suite__3_contracts_.sol:734. The issue should be reviewed because it can affect contract correctness, user balances, or operational cost depending on how the function is used. | MantleMegaVaultStressTest_Suite__3_contracts_.sol:734 | 74% |
| info | Cache array length before loop Cache array length before loop was detected from deterministic analysis at MantleMegaVaultStressTest_Suite__3_contracts_.sol:773. The issue should be reviewed because it can affect contract correctness, user balances, or operational cost depending on how the function is used. | MantleMegaVaultStressTest_Suite__3_contracts_.sol:773 | 74% |
| info | Use != 0 for unsigned non-zero checks Use != 0 for unsigned non-zero checks was detected from deterministic analysis at MantleMegaVaultStressTest_Suite__3_contracts_.sol:314. The issue should be reviewed because it can affect contract correctness, user balances, or operational cost depending on how the function is used. | MantleMegaVaultStressTest_Suite__3_contracts_.sol:314 | 74% |
| info | Use != 0 for unsigned non-zero checks Use != 0 for unsigned non-zero checks was detected from deterministic analysis at MantleMegaVaultStressTest_Suite__3_contracts_.sol:327. The issue should be reviewed because it can affect contract correctness, user balances, or operational cost depending on how the function is used. | MantleMegaVaultStressTest_Suite__3_contracts_.sol:327 | 74% |
| info | Use != 0 for unsigned non-zero checks Use != 0 for unsigned non-zero checks was detected from deterministic analysis at MantleMegaVaultStressTest_Suite__3_contracts_.sol:388. The issue should be reviewed because it can affect contract correctness, user balances, or operational cost depending on how the function is used. | MantleMegaVaultStressTest_Suite__3_contracts_.sol:388 | 74% |
| info | Use != 0 for unsigned non-zero checks Use != 0 for unsigned non-zero checks was detected from deterministic analysis at MantleMegaVaultStressTest_Suite__3_contracts_.sol:635. The issue should be reviewed because it can affect contract correctness, user balances, or operational cost depending on how the function is used. | MantleMegaVaultStressTest_Suite__3_contracts_.sol:635 | 74% |
| medium | Bitmap-pack boolean flags Bitmap-pack boolean flags was detected from deterministic analysis at MantleMegaVaultStressTest_Suite__3_contracts_.sol:110. The issue should be reviewed because it can affect contract correctness, user balances, or operational cost depending on how the function is used. | MantleMegaVaultStressTest_Suite__3_contracts_.sol:110 | 74% |
| medium | Bitmap-pack boolean flags Bitmap-pack boolean flags was detected from deterministic analysis at MantleMegaVaultStressTest_Suite__3_contracts_.sol:111. The issue should be reviewed because it can affect contract correctness, user balances, or operational cost depending on how the function is used. | MantleMegaVaultStressTest_Suite__3_contracts_.sol:111 | 74% |
| medium | Bitmap-pack boolean flags Bitmap-pack boolean flags was detected from deterministic analysis at MantleMegaVaultStressTest_Suite__3_contracts_.sol:120. The issue should be reviewed because it can affect contract correctness, user balances, or operational cost depending on how the function is used. | MantleMegaVaultStressTest_Suite__3_contracts_.sol:120 | 74% |
| info | Remove redundant zero initialization Remove redundant zero initialization was detected from deterministic analysis at MantleMegaVaultStressTest_Suite__3_contracts_.sol:455. The issue should be reviewed because it can affect contract correctness, user balances, or operational cost depending on how the function is used. | MantleMegaVaultStressTest_Suite__3_contracts_.sol:455 | 74% |
| info | Remove redundant zero initialization Remove redundant zero initialization was detected from deterministic analysis at MantleMegaVaultStressTest_Suite__3_contracts_.sol:467. The issue should be reviewed because it can affect contract correctness, user balances, or operational cost depending on how the function is used. | MantleMegaVaultStressTest_Suite__3_contracts_.sol:467 | 74% |
| info | Remove redundant zero initialization Remove redundant zero initialization was detected from deterministic analysis at MantleMegaVaultStressTest_Suite__3_contracts_.sol:524. The issue should be reviewed because it can affect contract correctness, user balances, or operational cost depending on how the function is used. | MantleMegaVaultStressTest_Suite__3_contracts_.sol:524 | 74% |
| info | Remove redundant zero initialization Remove redundant zero initialization was detected from deterministic analysis at MantleMegaVaultStressTest_Suite__3_contracts_.sol:620. The issue should be reviewed because it can affect contract correctness, user balances, or operational cost depending on how the function is used. | MantleMegaVaultStressTest_Suite__3_contracts_.sol:620 | 74% |
| info | Remove redundant zero initialization Remove redundant zero initialization was detected from deterministic analysis at MantleMegaVaultStressTest_Suite__3_contracts_.sol:734. The issue should be reviewed because it can affect contract correctness, user balances, or operational cost depending on how the function is used. | MantleMegaVaultStressTest_Suite__3_contracts_.sol:734 | 74% |
| info | Remove redundant zero initialization Remove redundant zero initialization was detected from deterministic analysis at MantleMegaVaultStressTest_Suite__3_contracts_.sol:746. The issue should be reviewed because it can affect contract correctness, user balances, or operational cost depending on how the function is used. | MantleMegaVaultStressTest_Suite__3_contracts_.sol:746 | 74% |
| info | Remove redundant zero initialization Remove redundant zero initialization was detected from deterministic analysis at MantleMegaVaultStressTest_Suite__3_contracts_.sol:773. The issue should be reviewed because it can affect contract correctness, user balances, or operational cost depending on how the function is used. | MantleMegaVaultStressTest_Suite__3_contracts_.sol:773 | 74% |
| info | Remove redundant zero initialization Remove redundant zero initialization was detected from deterministic analysis at MantleMegaVaultStressTest_Suite__3_contracts_.sol:798. The issue should be reviewed because it can affect contract correctness, user balances, or operational cost depending on how the function is used. | MantleMegaVaultStressTest_Suite__3_contracts_.sol:798 | 74% |

