DeFi Kontrat Güvenlik Tarayıcısı statik analiz motoru · 35 kural

Solidity kaynak kodunu yapıştır ya da zincirdeki doğrulanmış kontratı adresten çek; motor reentrancy, erişim kontrolü, oracle manipülasyonu, flash-loan callback, pay enflasyonu, imza tekrarı, proxy ve MEV risklerini haritalandırıp önceliklendirilmiş rapor üretir. Not: 2026 verileri, kayıpların ~%88'inin kod dışı (anahtar/operasyon) kaynaklı olduğunu; kod hatalarının frekansta yüksek ama dolar değerinde küçük kaldığını gösteriyor — bu araç kod katmanını kapsar, operasyon katmanı ayrıca denetlenmelidir.
Örnek:
Kaynak kod 0 satır · 0 kontrat · 0 fonksiyon
Kaynak kodu Sourcify v2 API'sinden çeker (API anahtarı gerekmez). Doğrulanmamış kontratlar için Etherscan/BscScan "Contract Source Code" görünümünden yapıştır.
Güvenlik raporu—
0
RİSK SKORU
—
Analiz bekleniyor
Kod yapıştırıp Analiz et'e bas, ya da örneklerden birini yükle.
Kapsam ve sınırlar: Bu motor desen tabanlı bir statik tarayıcıdır — denetim (audit) ya da biçimsel doğrulama yerine geçmez. Yol haritası olarak kullan: bulguları Slither (AST/SMT), Mythril (sembolik yürütme), Echidna / Foundry fork testleri (özellik tabanlı fuzz), mainnet fork simülasyonu ve SWC Registry eşlemesiyle doğrula.
  • Değişken gölgeleme (shadowing) ve satır içi assembly nedeniyle nadir yanlış pozitif/tanegatif olabilir.
  • Yalnızca kod içeriğine bakar; yetki sahipliği, timelock, imza politikaları ve zincir dışı altyapı bu taramanın dışındadır.