Bezpieczeństwo i testowanie

sol-profiler

Debugowanie i inspekcja

CLI · Solidity · Analiza kodu

Aniket-Engg/sol-profiler sol-profiler(16)

sol-profiler is a command line tool that lists a Solidity contract's methods with their visibility, mutability and modifiers. Reviewers run it to see the surface of a contract at a glance.

Powiązane zasoby

CodeTracer

CodeTracer to przyjazny dla użytkownika debugger z funkcją podróży w czasie, zaprojektowany do obsługi szerokiej gamy języków programowania web3.

EDB: The Ethereum Project Debugger

EDB to debugger na poziomie kodu źródłowego do wykonywania Solidity z możliwością pracy krokowej, zmiennymi lokalnymi, podglądami i punktami przerwania, gdy potrzebujesz widoczności zachowania kontraktu onchain lub w testach na poziomie IDE.

Simbolik - Solidity Debugger

Simbolik to potężny debugger Solidity, który łączy tradycyjne debugowanie z punktami przerwania (breakpoints) z symbolicznym wykonywaniem, umożliwiając deweloperom eksplorację każdej możliwej ścieżki wykonania i precyzyjne odkrywanie podatności. Dostępny jako rozszerzenie VSCode, Simbolik płynnie integruje się z istniejącymi przepływami pracy, oferując debugowanie w stylu punktów przerwania, inspekcję na poziomie Solidity i EVM oraz możliwości weryfikacji formalnej.

Abi Ninja

Abi Ninja to interfejs przeglądarkowy do wywoływania kontraktów ze znanymi ABI, wklejonymi ABI lub zdekompilowanym kodem bajtowym, z odczytami uwzględniającymi proxy w wielu sieciach, w tym w lokalnie uruchomionym węźle Hardhat lub Anvil.

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.