Solidity için ekonomik analiz

Parayı gerçekten kımıldatan hatayı bulun.

Scorpio herkese açık Solidity depolarını analiz eder, değerin nasıl hareket ettiğini yeniden kurar ve hata ödül programına ya da canlıya ulaşmadan önce yeniden üretilebilir kanıt verir.

Ödemeden önce ön kontrol USDC ile x402 ödemesi Doğrulanabilir teslim
ENGINE / LIVE CATALOGONLINE
STATE
VALUE
ACCESS
Scorpio işareti
127MODULES
49STATIC CHECKS
0Erişilebilir modüllerYayındaki motorun parmak izi
0Ekonomik ailelerRiske göre düzenlenmiş kapsam
0Statik taramalarGüncel katalogda yayımlanmış
0Okunamayan modüllerKatalog baştan sona okunabiliyor
01 / YÖNTEM

Depodan, kontrol edilebilir bir kanıta.

Scorpio her analizi teknik bir gözetim zinciri gibi ele alır. Önce deponun kapsama girip girmediğine karar verir, sonra derler, modeller ve sonucu mühürler.

01

Kabul

Herkese açık URL'yi, commit'i ve kendi kodun gerçek boyutunu kontrol eder.

Ücretsiz · yükümlülük yok
02
{ }

Derleme

Foundry projesini çözer ve kendi kodu bağımlılıklardan ayırır.

Yalıtılmış ortam
03

Ekonomik harita

Durumları, yetkileri ve değerin hareket edebileceği yolları izler.

Sözleşmeler arası bağlam
04

Taramalar

Uygun aileleri çalıştırır ve ekonomik etkisi olan sinyalleri öne alır.

Belirlenimci motor
05

Teslim

Bulguları önceliğe göre sıralayan raporu yazar ve analiz edilen tam commit ile birlikte geri verir.

Yeniden üretilebilir sonuç
02 / ÖDEMEDEN ÖNCE

Deponuzun kapsama girip girmediğine bakın.

Ön kontrol, herhangi bir ödeme açılmadan önce kendi Solidity kodunuzu ve üçüncü tarafınkini ayrı ayrı sayar; bunu da gerçek hizmet yapar: depoyu klonlar ve ağacını okur, derlemez ve içinden hiçbir şey çalıştırmaz. Ücretsizdir, kota ile gelir ve kapsama girmeyen bir depo burada reddedilir; parası alınıp sonra başarısız olmaz.

  • URL ve commit belirlendi
  • Kendi kod üçüncü taraftan ayrıldı
  • Ödeme onaylanmadan önce fiyat kesinleşti
SCORPIO / PREFLIGHTCANLI
git:
ÜrünTam denetim · 149 USDC

Ücretsiz, hiçbir ödeme yok. Hizmet depoyu klonlar ve ağacı okuyarak Solidity kodunu sayar; derlemez ve içinden hiçbir şey çalıştırmaz. Birkaç saniye sürer ve kota ile gelir.

04 / ÖLÇÜM

Yayımlanan ilk kıyaslamada uyarı başına daha çok işe yarar sinyal.

CodeHawks'ın beş resmî vakasında Scorpio, resmî listedeki 12 bulguyu eşleştirdi; Slither 5 eşleştirdi. Toplam uyarı sayısı Scorpio'da 26, Slither'da 63 oldu.

09EYLÜL
2026
MOTOR 890777…
i

Bu, beş yarışmadan oluşan küçük bir örneklem; genel üstünlüğün kanıtı değil. Scorpio sütunu 9 Eylül 2026'da 890777033a8fc952… motoruyla, üç özdeş tekrarda ölçüldü. Yayında olan motorun parmak izi bu sayfanın üst kısmında gösterilir: eşleşmiyorsa ölçüm daha eski bir motora ait ve bugünkü motorla yinelenmedi. Slither sütunu 0.11.5 sürümüne ait, aynı dondurulmuş vakalar üzerinde 6 Eylül'de ölçüldü; iki tarih arasında Slither değişmedi.

!

Eşleşmeyen 14 tanesi ne — onlara “yanlış” demek doğru olmazdı: dördü bilgilendirici önemde: üçü olayı olmayan sözleşme uyarısı, biri token varsayımlarına dair not; bunlar motorun bilerek verdiği bağlam ve bir güvenlik açığı listesinde yarışmıyor. Üçü kod hakkında doğru bir şey söylüyor — ERC-20 transferinin dönüş değerinin kontrol edilmediğini — ama yarışma bunu bulgu olarak kabul etmedi. Biri ise tek yönlü bir anahtar; motor onu şüphe olarak işaretliyor, çünkü bunun kasıtlı olup olmadığına bir insan karar verir.

!

Kalan altıdan beşi, resmî listedeki bir kayıtla aynı hatadır; sadece adı başkadır. Karşılaştırıcı ancak dedektörün adı etiketin ailesiyle aynıysa eşleştirir; dolayısıyla motor hatayı bulup onu etkisine göre değil nedenine göre adlandırdığında, sayım onu iki kez cezalandırır: etiket bulunamadı, bulgu ise yanlış sayılır. Beş çift tek tek doğrulandı; aynı sözleşme üzerinde ve dördünde aynı işlevde: refund içinde hiç kapanmayan kilit CH-05'in yeniden girişidir; yeniden yazılabilen süre CH-07'dir; claimants üzerindeki üst sınırsız dolaşma MC-08'dir; uygulamayı bağlamayan imza SP-01'dir; typehash'siz özet ise SP-02'dir. Altıncısı, listede yer almayan doğru bir şey söylüyor.

i

Bu eşleştirme elle ve taraflı yapıldı: yapan, motor üzerinde çalışan kişinin ta kendisi. Bu yüzden bu sayfada geçerli olan sayılar makinenin saydıklarıdır. Kabul edilen beş çift sayılsaydı 17 eşleşen ve 9 eşleşmeyen çıkardı; yani %65,4 kesinlik ve %35,4 kapsam. Bu, farkın nereden geldiği görülsün diye yazıldı, hanesine yazılsın diye değil.

Scorpio52,6%
10 TP · 9 FP
SSlither%7,9
5 TP · 58 FP
48 resmî bulgu5 / 5 vaka çalıştırıldı15 / 15 kararlı çalıştırma
05 / NASIL DOĞRULANIYOR

Kendini ölçen bir motor.

Her dedektörün önünde iki sözleşme durur: biri tetiklensin diye yazılmıştır, neredeyse aynısı olan öbürü tetiklenmesin diye. İkisinden birini bozan herhangi bir değişiklik test tezgâhını kırmızıya çevirir; tezgâh yeşil değilse siparişleri karşılayan imaj derlenmez.

0Tezgâh sözleşmeleriMotoru sınamak için yazıldı
0Yerleştirilmiş kusurlar201'inin hepsini yakalıyor
0Sağlam kontrollerHiçbirini işaretlemiyor
0Mutasyon %Öldürülebilenler üzerinden
i

Mutasyon puanı, motorun bir satırını bilerek değiştirir ve tezgâhın bunu fark ettiğini doğrular. Fark edilmeyenler tek tek, gerekçesiyle yazılır: o satırın sonucu neden değiştiremeyeceği ya da bunu tetiklemek için nasıl bir vakanın gerektiği. Bugün okunmamış tek bir tane bile kalmadı.

06 / KAPSAM

Ekonomik riski izlemek için on aile.

Her aile, değişmezleri kırmanın, yetki ele geçirmenin ya da değeri başka yöne çevirmenin belirli bir yolunu arayan taramaları bir araya getirir.

01
±

Muhasebe

Bakiyeler, yuvarlamalar, ücretler ve değerin korunması.

6 tarama
02

Kâhinler

Fiyatlar, tazelik, ölçekler ve manipüle edilebilir bağımlılıklar.

4 tarama
03

İmzalar

Tekrar saldırıları, alan ayrımı, nonce'lar ve kriptografik yetkilendirmeler.

8 tarama
04

Yetkiler

Roller, setter'lar, ilklendirme ve kontrolün yükseltilmesi.

7 tarama
05

Yeniden giriş

Dış çağrılar ve güvensiz durum değişiklikleri.

4 tarama
06

Depolama

Çakışmalar, yerleşim ve yükseltmeden sonra bozulma.

4 tarama
07

Durumlar

İmkânsız geçişler, kilitlenmeler ve aşama atlamaları.

6 tarama
08

Kilitli kalan fonlar

Çıkış yolunun hiç olmaması ya da sonsuza dek koşula bağlanması.

4 tarama
09
0x

Kodlama

Seçici çakışmaları, calldata ve serileştirme varsayımları.

5 tarama
10

Rastgelelik

Ekonomik sonucu etkileyen öngörülebilir kaynaklar.

1 tarama
07 / SONUÇ

İz bırakan bir teslim.

Rapor her sinyali koddaki yerine bağlar ve üretildiği tam commit ile birlikte gelir.

SCORPIO_REPORT
FINDING / ECONOMIC

Değer değişmezi savunmasız

HIGHCONFIDENCE 0.86

report.md
commit
tree
01

Önceliklendirilmiş bulgular

Önem, güven, konum ve beklenen ekonomik etki.

02

Teknik kanıt

Kod yolları ve sinyali yeniden üretmeye yetecek bağlam.

03

Köken

Analiz edilen klonun tam commit'i ve ağacı, raporla birlikte geri verilir.

04

Ölçülemeyenler

Herhangi bir tarama tamamlanamadıysa sipariş INCOMPLETE olarak işaretlenir ve rapor bunu söyler. Sessizlik, “hiçbir şey yok” diye sunulmaz.

08 / DURUŞ

Scorpio neyi iddia eder.
Ve neyi etmez.

Verdiği

  • Otomatik ve tekrarlanabilir analiz
  • Ekonomik etkiye göre önceliklendirme
  • Analiz edilen koda bağlı kanıt
  • Tam commit ve raporun mührü
  • Çalıştırmanın açıkça belirtilen durumu

× Söz vermediği

  • Sıfır yanlış alarm
  • Tüm güvenlik açıklarının kapsanması
  • Her seferinde bir hata bulmak
  • İnsan denetimiyle eşdeğerlik
  • Ödüllere otomatik hak kazanma
09 / SORULAR

Bir analizi başlatmadan önce.

En önemli teknik ve ticari koşullar, küçük punto olmadan anlatıldı.

Koşulların tamamını oku
Scorpio insan denetiminin yerini tutar mı?

Hayır. Arama alanını daraltır ve tekrarlanabilir kanıt sunar, ama sözleşmenin güvenli olduğunu belgelemez ve insan incelemesinin bütün muhakemesini kapsamaz.

Bugün neyi analiz edebilirim?

Foundry ile uyumlu, ön kontrolden geçen ve en fazla 1.200 kendi Solidity dosyası olan herkese açık depoları. Açık olan ürün zincirin durumunu okumaz.

Ödeme ne zaman alınır?

Önce ücretsiz ön kontrol çalışır. Depo kapsama giriyorsa Scorpio kesin teklifi döner. Analiz, x402 ödemesi doğrulandığında başlar.

Motor başarısız olursa ne olur?

Sipariş FAILED durumunda kalır ve hizmet bedeli koşullara göre iade edilir. Scorpio'ya ait olmayan ağ ücretleri bu iadeye dâhil değildir.

Ne kadar sürer?

Katalog, açık olan ürün için yaklaşık beş dakikalık bir çalışma süresi öngörür. Bu teknik bir tahmindir, hizmet düzeyi taahhüdü değil: boyut, derleme ve sıra toplam süreyi değiştirebilir.

DONE ve INCOMPLETE ne demek?

DONE, öngörülen teslimin tamamlandığını gösterir. INCOMPLETE, sınırları belgelenmiş kısmi bir teslim olduğu anlamına gelir. PENDING ve FAILED, sürmekte olan ya da başarısız olmuş bir çalıştırmayı anlatır. EXPIRED ise 30 günlük saklama süresi dolup teslim silindiğinde görünür.

Özel bir depo gönderebilir miyim?

Mevcut üründe hayır. Kimlik bilgisi, token ya da özel URL göndermeyin. Bu herkese açık teklif, kimlik doğrulaması olmadan erişilebilen depolar için tasarlandı.

Sonuç nasıl doğrulanır?

Her sipariş, analiz edilen klonun tam commit'ini ve ağacını döner; böylece herhangi bir bulgu belirli bir sürüm üzerinde gösterilebilir ve sonradan yeniden bakılabilir. O an çalışan motor sürümü, içerik parmak iziyle birlikte /health adresinde herkese açıktır.

SCORPIO / AUDIT-149

Değeri emanet etmeden önce,
kodu kontrol edin.

Ön kontrol ücretsizdir ve ödeme isteği oluşturulmadan önce kapsamı doğrular.

Depoyu kontrol et