Güvenlik ve test

CodeTracer, çok çeşitli web3 programlama dillerini desteklemek üzere tasarlanmış, kullanıcı dostu, zamanda yolculuk yapan bir hata ayıklayıcıdır.

Simbolik, geleneksel kesme noktası (breakpoint) hata ayıklamasını sembolik yürütme ile birleştiren, geliştiricilerin olası her yürütme yolunu keşfetmesini ve güvenlik açıklarını hassasiyetle ortaya çıkarmasını sağlayan güçlü bir Solidity hata ayıklayıcısıdır. Bir VSCode uzantısı olarak sunulan Simbolik, kesme noktası tarzı hata ayıklama, Solidity ve EVM düzeyinde inceleme ve biçimsel doğrulama yetenekleri sunarak mevcut iş akışlarına sorunsuz bir şekilde entegre olur.

EVM için web tabanlı işlem hata ayıklayıcısı ve simülatörü. Açık kaynaklıdır ve kendi sunucunuzda barındırılabilir. Her adımda değişken durumlarını inceleyin, dağıtmadan önce işlemleri simüle edin ve gaz kullanımının profilini çıkarın. Herhangi bir RPC sağlayıcısını destekler.

Abi Ninja, bilinen ABI'ler, yapıştırılmış ABI'ler veya derlemesi çözülmüş baytkod ile sözleşmeleri çağırmak için kullanılan bir tarayıcı arayüzüdür; yerel olarak çalışan Hardhat veya Anvil düğümünüz de dahil olmak üzere birçok ağda proxy uyumlu okumalar sunar.

bir sözleşme kodunu IDE'nize anında yüklemek için basit bir CLI aracı.

Akıllı sözleşmelerle etkileşim kurmak için süper kolay etkileşimli kabuk (shell)

viem-tracer, başarısız ethestimateGas ve ethsendTransaction çağrılarının sourcify.dev ile çözülmüş insan tarafından okunabilir izleme çıktısını otomatik olarak içermesi için bir Viem istemcisini geliştirir ve geliştiricilerin mevcut RPC yığınlarından ayrılmadan yürütmeyi inceleyebilmeleri için debug_traceCall etrafına yazılı yardımcılar ekler.

EDB, zincir içi veya testlerde sözleşme davranışına ilişkin IDE düzeyinde görünürlüğe ihtiyaç duyduğunuzda adımlama, yerel değişkenler, izlemeler ve kesme noktaları ile Solidity yürütmesi için kaynak düzeyinde bir hata ayıklayıcıdır.

forge-stack-tracer, başarısız testlerin opak onaltılık (hex) yerine etkileşimli yığın izleri döndürmesi için ayrıntılı Foundry test çıktısını Swiss-Knife kod çözme işleminden geçirir.

Chimera, foundry'de Solidity testleri yazmak ve bunları Echidna, Medusa, Halmos ve Kontrol gibi diğer Açık Kaynaklı Araçlarla yeniden kullanabilmek için bir çerçevedir.

Slither, Trail of Bits'in Solidity ve Vyper için Python statik analiz motorudur: dedektörleri tetiklemek, sözleşmelerin yapısal görünümlerini yazdırmak veya tüm kod tabanları üzerinde özel kontrolleri betiklemek için CI'da çalıştırın.

Synpress, Playwright'ı Ethereum uyumlu tarayıcı otomasyonuyla katmanlandırır, böylece CI'da cüzdan açılır pencereleri ve zincir geçişleri dahil olmak üzere merkeziyetsiz uygulamaları (dapp'ler) uçtan uca test edebilirsiniz.

Aderyn, protokol mühendislerinin ve güvenlik araştırmacılarının Solidity kod tabanlarındaki güvenlik açıklarını bulmasına yardımcı olmak için tasarlanmış, Cyfrin'in açık kaynaklı, Rust tabanlı Solidity akıllı sözleşme statik analizörüdür.

Titanoboa, tam bir Foundry döngüsü dışında sözleşmelerle denemeler yaparken hızlı geri bildirim döngüleri için etkileşimli bir Vyper yorumlayıcısı ve test ortamıdır.

Medusa, Echidna'dan esinlenen durum bilgisi olan (stateful) bir akıllı sözleşme fuzzer'ıdır. Akıllı sözleşmelerin paralelleştirilmiş fuzz testini ve gelişmiş akıllı sözleşme değişmezlerinin (invariants) doğrulanmasını sağlar.

solidity-coverage, Hardhat geliştirici platformu için akıllı sözleşme kod kapsamı sağlar. Son derece doğrudur, tam viaIR solidity derlemesini ve çok sayıda solidity'ye özgü kod dalı (branch) modelini destekler. Yaklaşık 230 bin Github projesine kurulmuştur ve NPM'den haftada yaklaşık 100 bin kez indirilmektedir.

hevm, akıllı sözleşmelerdeki sorunları bulabilen açık kaynaklı, son teknoloji ürünü, hızlı sembolik ve somut bir EVM yürütme motorudur. Sembolik yürütme ve analiz sistemi aracılığıyla hevm, hataları bulmak için sözleşmeleri sembolik, yarı somut veya somut olarak yürütebilir veya eşdeğerlik kontrolü gerçekleştirerek iki farklı sözleşmeyi tutarsızlıklar açısından karşılaştırabilir.

Crytic-Properties, ERC-20, ERC-721, ERC-4626 ve daha fazlası gibi en yaygın kullanılan token standartlarından bazıları için yeniden kullanılabilir güvenlik testleri paketidir.

Wallet Test Framework, ekiplerin CI'da paylaşılan UX beklentilerini regresyon testine tabi tutabilmesi için temel cüzdan akışlarını (transferler, bakiye okumaları, temel merkeziyetsiz uygulama (dapp) etkileşimleri) yürüten otomatik bir pakettir.

Dallanan Ağaç Tekniğine (Branching Tree Technique) dayalı bir akıllı sözleşme test oluşturucusu.

ERCx, ERC-20, ERC-721, ERC-1155 ve ERC-4626 uygulamalarında 500'den fazla bireysel test içeren, ERC token standartları için kapsamlı bir açık kaynaklı test kütüphanesidir.

104 güvenlik açığı kalıbı ve 8 analiz aracı ile Solidity/EVM akıllı sözleşme güvenlik denetçisi. CTF ve EVMBench kıyaslamalarında %100 başarı elde eder (120/120). Akıllı sözleşmelerdeki güvenlik açıklarını tespit etmek için statik analiz.

foundry-storage-check, yükseltilebilir proxy depolama düzenlerinin çarpışmaya karşı güvenli kalmasını ve yeni eklenen depolama yuvalarının birleştirmeler gönderilmeden önce zincir içi sıfırla başlatılmasını sağlamak için her çekme isteğinde çalışan Foundry projeleri için bir GitHub Action'dır.

blocksmith.js, tek bir yerel EVM'nin yeterli olmadığı durumlarda çok zincirli veya çok örnekli Foundry testlerini betiklemek için forge ve anvil etrafında ince bir JavaScript donanımıdır.

KEVM, EVM'nin K-framework yürütülebilir semantiğidir: uygunluk kontrollü yürütme, sembolik keşif, gaz muhakemesi veya Ethereum'un kurallarını yakından izleyen kanıtlara ihtiyacınız olduğunda onu baytkoda yönlendirin.

Kontrol, Foundry özellik testlerini KEVM destekli kanıtlara yükseltir, böylece yalnızca ham KEVM'den daha az elle yazılmış spesifikasyon çalışmasıyla biçimsel garantilerin peşine düşebilirsiniz.

hax, Rust'ın büyük bir alt kümesinin F* veya Rocq gibi biçimsel dillere yüksek güvenceli çevirileri için bir araçtır.

Act, SMT çözücülerin, teorem kanıtlayıcıların veya ekonomik analiz araçlarının somut uygulamalara karşı otomatik iyileştirme kanıtları da dahil olmak üzere baytkod düzeyinde doğruluk ve teşvik uyumluluğu hakkında akıl yürütebilmesi için bir EVM programının tüm davranışlarını tanımlamaya yönelik Ethereum'un bildirimsel spesifikasyon dili ve araç zinciridir.

Verifereum, Ethereum akıllı sözleşmelerini HOL4 destekli teorem ispatına bağlar, böylece otomatik SMT yaklaşımları yeterli olmadığında çok güçlü doğruluk iddialarını hedefleyebilirsiniz.