Automated Contract Analysis

KODA Presale v0.98.3 Security Scan

Public Slither static-analysis summary for the live KODA Presale contract. This is a transparency artifact for listing review and technical diligence, not a formal third-party audit.

Network

Polygon

Compiler

Solidity 0.8.24

Optimizer

Enabled, 200 runs

Live contract

0x0b2dd15554Dc0F161ea28EcC5Ed9ae310715d642

MyHOME ID Treasury Safe

0xB2afE9c9907A70470934284A346CfFb8af696Dec

Live presale owner and treasury. Verified threshold: 2-of-3.

KODA Launch Liquidity Safe

0xd493B62A6Da23DFD7BB2d5aFDD5f0190FF574510

Separate launch-liquidity custody. USDC liquidity movement is expected to remain segregated during the 360-day Reg S distribution compliance period. Verified threshold: 2-of-3.

High

Generic SafeERC20 helper warning. The live buy path uses transferFrom with msg.sender, not an arbitrary buyer-selected source.

Medium

One reentrancy-pattern warning in buy() plus strict-equality warnings around sentinel values and reserve checks.

Low

Timestamp and zero-check warnings. Timestamp usage is expected for phase windows and vesting.

Informational / Optimization

Naming, indexed-event, and gas optimization recommendations.

Summary

The deployed v0.98.3 presale is represented by the same Solidity source line reviewed as PresaleV0982.sol; v0.98.3 is the live deployment/package iteration.

The scan was run with Solidity 0.8.24 and optimizer settings matching the release scripts: optimizer enabled, 200 runs.

The live presale owner and treasury resolve on-chain to the MyHOME ID Treasury Safe, configured as a 2-of-3 Safe multisig.

The KODA Launch Liquidity Safe is a separate Polygon Safe, also configured as 2-of-3, for launch-liquidity custody planning. USDC liquidity movement is expected to remain segregated during the 360-day Reg S distribution compliance period.

Echidna property-based tests passed on the intended admin flow harness; no property failures were found.

A live purchase path was validated with 100 USDC purchasing 10,000 KODA.

This page is provided for transparency for listing and counterparty review. It is not a substitute for a paid third-party audit.

Scan Metadata

Tool: Slither 0.11.5
Source basis: PresaleV0982.sol
Public version: KODA Presale v0.98.3
Treasury Safe: 2-of-3 multisig
Liquidity Safe: 2-of-3 multisig
Runtime bytecode: 18,051 bytes
EIP-170 limit: 24,576 bytes
Result count: 37 detector results

Download raw Slither JSON

Important Notice

This page reports automated static analysis. It should not be described as an audit by Slither, Trail of Bits, OpenZeppelin, Consensys, CertiK, or any other third-party auditor. Formal third-party audit work is planned after presale proceeds justify that spend.