Güvenlik ve test

revm-inspectors

Hata ayıklama ve inceleme

Hata ayıklama araçları · Kod analizi

paradigmxyz/revm-inspectors https://crates.io/crates/revm-inspectors

revm-inspectors is a Rust crate of EVM execution hooks and tracing built on revm, and it powers call tracing in Reth and Foundry. Rust builders import it to build their own tracers and debuggers.

İ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.

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.

Simbolik - Solidity Debugger

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.

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.

Tenderly

Tenderly provides transaction simulation, trace debugging, alerting, and Virtual TestNets for contracts. Builders use it to replay a failing transaction, watch deployed contracts, and test against a forked network.

Semgrep (smart-contracts rules)

Semgrep is a pattern-based static analysis tool with rulesets for Solidity vulnerabilities. Builders run those rules over a codebase to catch known vulnerable patterns and style issues before review.