🔍 DolomiteMarginTrading

📍 0x13A5dfB403C8cfC9c58cF897318ad83DB8FE5a0F · 🌐 ETH · 🤖 engine: slither+aderyn

💰 Balance: 0.0 · 📈 Tx: 0

CRITICAL 4 HIGH 0 MEDIUM 10 LOW 9

Findings preview

CRITICALArbitrary transferFrom of third-party ERC20 tokens

CRITICALStorage pointer not initialized (points to slot 0)

MEDIUMReentrancy: balance updated after external call

MEDIUMStrict equality on balances/tokens

MEDIUMLocal variable used before initialization

MEDIUMtransfer()/transferFrom() return value not checked

LOWExperimental ABIEncoderV2 pragma

LOWMissing zero-address check

LOWAccess control issue (manual review required)

INFORMATIONALReentrancy detected via event emission order

INFORMATIONALInline assembly usage

INFORMATIONALHigh cyclomatic complexity

INFORMATIONALOutdated Solidity compiler

Preview only — no exploit details or fix recommendations are published here to avoid disclosing an unpatched issue before the contract owner sees it. Full report (RU+EN), exact lines, exploit path and fork PoC — via the bot below.

📩 Get full report via Telegram

View contract on block explorer →

⚠️ Think this finding is wrong?

If you're the contract owner and believe this automated finding is inaccurate, or want this page reviewed or removed, send us your contact details and we'll get back to you.

Auto-audit by SecurityLab (slither+aderyn). Static analysis only unless noted as PoC-confirmed — not a substitute for a manual audit before mainnet deployment with real funds.