İçeriğe geç
SaferICO SaferICOAkıllı Kontrat Güvenliği
Playbook ücretsiz · zincir kurgusu AI Agents paketinde

Kodunuzda ne var değil — ne sömürülebilir?

Tarayıcı «bu kodda ne yanlış» sorusunu yanıtlar. Lansmandan önce sorduğunuz soru ise başkadır: bir saldırgan bunlardan hangisini gerçekten kullanabilir? Bu araç taramanın ürettiği bulguları alıp çalışan bir yola dizmeye çalışır — ve kurduğu her yol için ne kadarının kanıtlanmış, ne kadarının çıkarım olduğunu söyler.

21 saldırı zinciri10 saldırı ailesiZincire hiç dokunmazPlaybook herkese açık
//Neyi kapsar

On saldırı ailesi

Aşağıdaki sayılar simülatörün kendi örüntü tablosundan, bu sayfa üretilirken ölçülür. Bir aile boşalsaydı sayfa reklamını yapmaya devam etmez, üretim sırasında hata verirdi.

Erişim kontrolü — 4 zincir

Yetki veren bir fonksiyonun, çağıranın kim olduğunu kontrol etmeyi unutması. En sık görülen ve en ucuz kapatılan aile.

Reentrancy — 1 zincir

Kontrat aldığınız şeyi deftere yazmayı bitirmeden içeri geri girmek.

Flash-loan yolları — 2 zincir

Sermaye gerektirmeyen saldırılar: sermaye tek bir işlem içinde ödünç alınır ve geri ödenir.

Oracle manipülasyonu — 1 zincir

Kontrat bir şeyin değerini başkasına sorar ve o cevap seçilebilir hale gelir.

Fiyat manipülasyonu — 2 zincir

Kontratın fiyatladığı piyasayı oynatmak ya da fiyatı oynatacak birinin önünde ve arkasında işlem yapmak.

İmza ve tekrar — 1 zincir

Bir kez çalışması gereken imzanın birden fazla kez, birden fazla ağda ya da birden fazla iş için çalışması.

Yükseltilebilirlik — 1 zincir

Adresin arkasındaki kod, denetlenen kod değildir. Rapordaki her bulgu artık orada olmayan bir kod hakkındaydı.

Yetki yükseltme — 3 zincir

Sıradan çağırandan sahibe, sahipten sahipten fazlasına giden yol.

İş mantığı — 4 zincir

Her satır doğrudur, topladıkları kural yanlıştır. Statik analizin en zayıf, insanın en güçlü olduğu yer.

Ekonomik / DeFi — 2 zincir

Hiçbir şey bozuk değil. Teşvikler saldırgana sizden daha çok ödüyor.

Araçların kendisi (tarayıcı, kontrol panelleri, SAFI çalışma alanı) şu an İngilizce arayüzle çalışıyor. Bu sayfalar, oraya girmeden önce her şeyi Türkçe anlatır.

Nasıl çalışır

Üç adım: tarayıcınızda tarama, yalnızca bulguların gönderilmesi, ve her halka için açıkça belirtilmiş bir kanıt seviyesi.

🛑 Burada hiçbir şey zincire dokunmaz

Kaynak kod ya sizin yapıştırdığınız metindir ya da gezginden okunan doğrulanmış koddur; analiz bu tarayıcıda çalışır. Hiçbir işlem kurulmaz, imzalanmaz ve gönderilmez.

Sayfa yine de yetkili olduğunuzu onaylamanızı ister. Bu kutu tek başına hiçbir şey kanıtlamaz — ama niyeti kayda geçirir, ve bir yabancının kontratının nasıl saldırıya uğrayacağını istek üzerine çizen bir araç ile bu araç arasındaki fark tam olarak budur.

01Önce tarama, sonra zincir

201 dedektörlü motor tarayıcınızda çalışır ve kaynağınız oradan çıkmaz. Zincirleri kurmak için sunucuya giden şey yalnızca taramanın ürettiği yapıdır: dedektör kimlikleri, fonksiyon tablosu ve erişim kontrolü bayrakları.

Bunu doğrulamak için bize güvenmenize gerek yok — tarayıcınızın ağ sekmesini açın ve giden isteğin gövdesine bakın.

02Ulaşabileceği en yüksek hüküm «Potansiyel»dir

Bu bilerek konmuş bir tavandır, kaldırmayı unuttuğumuz bir eksiklik değil. Kaynak okuyarak bir yolun açık olduğu söylenebilir; o yolun yürünmüş olduğu söylenemez.

  • Doğrulandı — izole bir kopyada kavram kanıtı çalıştırıldı ve işe yaradı. Bu araç hiçbir şey çalıştırmadığı için bu hükmü asla üretmez.
  • Potansiyel — gerekli her önkoşul kodunuzda gösterilebilen bir şeyle karşılanıyor. Yol açık; yürüyen olduğu söylenmiyor.
  • Doğrulanmadı — önkoşullar sağlanıyor ama zincir büyük ölçüde yapısal çıkarıma dayanıyor. İnsan gözü için bir ipucu sayın.

03Önkoşullar sağlanmadan bir zincir raporlanmaz

Playbook'taki her zincir, kodunuza karşı raporlanmadan önce hangi koşulların doğru olması gerektiğini kendisi ilan eder. «Kontrat delegatecall yapıyor» ve «hedef adres çağıran tarafından etkilenebiliyor» ikisi birden sağlanmıyorsa o zincir sizin raporunuza girmez.

Bir yanlış kritik bulgu, on doğru orta bulgunun kazandığı güvenden fazlasına mal olur. Ürünün ayarı bu cümleye göre yapılmıştır.

//Sorular

Simülatörü çalıştırmadan önce

Tarayıcıdan farkı ne?
Tarayıcı listeler, bu araç birleştirir. Tarayıcı «şu fonksiyon sahip kontrolü yapmıyor» der. Bu araç «şu fonksiyon sahip kontrolü yapmıyor ve şu değişkeni yazabiliyor, bu ikisi birlikte sahipliği devralmaya yeter» der — ve iki halkanın da kanıtını gösterir.
Playbook için ödeme gerekiyor mu?
Hayır. 21 zincirin tamamı, önkoşulları ve kapatma yöntemleriyle birlikte sayfada herkese açıktır. Ödemeli olan tek şey bu zincirlerin sizin kontratınıza karşı kurgulanmasıdır: AI Agents paketinde ve 5 kredi.
Kaynak kodum bize gönderiliyor mu?
Hayır. Tarama tarayıcınızda çalışır. Sunucuya yalnızca taramanın çıktısı — dedektör kimlikleri ve fonksiyon tablosu gibi yapısal veri — gider. Kaynağın kendisi bu makineden çıkmaz.
Doğrulanmamış bir adresi test edebilir miyim?
Hayır. Doğrulanmamış bayt kodunda okunacak fonksiyon yoktur, dolayısıyla ortada zincir kurulacak bir malzeme de yoktur. Ya kaynağı yapıştırın ya da kontratı gezginde doğrulatın.

Para göndermeden önce kontratı tarayın

Kontrat adresini yapıştırın; sahip yetkilerini, likiditeyi ve satış simülasyonu sonucunu riske girmeden önce görün. Tarama başına küçük bir ücret imzadan önce gösterilir — herhangi bir abonelikte ise sınırsız olarak dahildir.