Semgrep (smart-contracts rules)

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

sol2uml generates UML class and storage-layout diagrams from Solidity source or from verified contracts. Builders run it to see contract relationships and how state variables are packed into storage.