Archon public report
Context
Mantle Mainnet · scan depth gas-cost · generated 6/8/2026, 12:29:24 AM
Risk Score
16
Archon completed a read-only Mantle Mainnet audit of is and found 4 deterministic findings. The highest-priority issue is Dead Code, with risk score 16/100 based on severity-weighted findings. Dead Code was detected from deterministic analysis at is.sol:25-27. The issue should be reviewed because it can affect contract correctness, user balances, or operational cost depending on how the function is used. Review the recommended fixes and run regression tests before deployment.
Findings
| Severity | Finding | Location | Confidence |
|---|---|---|---|
| info | Dead Code Dead Code was detected from deterministic analysis at is.sol:25-27. The issue should be reviewed because it can affect contract correctness, user balances, or operational cost depending on how the function is used. | is.sol:25 | 74% |
| info | Dead Code Dead Code was detected from deterministic analysis at is.sol:17-19. The issue should be reviewed because it can affect contract correctness, user balances, or operational cost depending on how the function is used. | is.sol:17 | 74% |
| info | Dead Code Dead Code was detected from deterministic analysis at is.sol:21-23. The issue should be reviewed because it can affect contract correctness, user balances, or operational cost depending on how the function is used. | is.sol:21 | 74% |
| info | Solc Version Solc Version was detected from deterministic analysis at is.sol:4. The issue should be reviewed because it can affect contract correctness, user balances, or operational cost depending on how the function is used. | is.sol:4 | 74% |