Security & testing

Simbolik - Solidity Debugger

Debugging & inspection

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.

Related resources

CodeTracer

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

EDB: The Ethereum Project Debugger

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.

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.

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.

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)