🔍 CheckPairedVault

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

💰 Balance: 0.0 · 📈 Tx: 0

CRITICAL 2 HIGH 3 MEDIUM 5 LOW 4

Findings preview

CRITICALReentrancy in ETH withdrawal

HIGHReentrancy without ETH (state-only)

MEDIUMStrict equality on balances/tokens

MEDIUMLocal variable used before initialization

MEDIUMExternal calls inside a loop

MEDIUMtransfer()/transferFrom() return value not checked

LOWReentrancy without state impact (benign)

LOWState initialized outside constructor/initializer

INFORMATIONALReentrancy detected via event emission order

INFORMATIONALUnreachable code

INFORMATIONALOutdated Solidity compiler

INFORMATIONALLow-level call usage

INFORMATIONALPUSH0 opcode (requires Shanghai EVM)

OPTIMIZATIONAccess control issue (manual review required)

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.