Güvenlik ve test

Simbolik - Solidity Debugger

Hata ayıklama ve inceleme

Güvenlik · Eğitim · Sembolik yürütme · VSCode eklentisi · Çalışma zamanı doğrulaması · Biçimsel doğrulama

Web sitesi Sosyal runtimeverification/simbolik-vscode(48 ☆)runtimeverification/simbolik-examples(5 ☆)

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.

İlgili kaynaklar

CodeTracer

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

Walnut

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

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.

evmc

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

solizard

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

viem-tracer

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.