Semgrep (smart-contracts rules)

CodeTracer è un debugger con viaggio nel tempo intuitivo progettato per supportare un'ampia gamma di linguaggi di programmazione del Web3.

EDB è un debugger a livello di codice sorgente per l'esecuzione di Solidity con esecuzione passo-passo, variabili locali, espressioni di controllo e punti di interruzione quando hai bisogno di una visibilità di livello IDE nel comportamento del contratto onchain o nei test.

Simbolik è un potente debugger per Solidity che combina il tradizionale debug con breakpoint con l'esecuzione simbolica, consentendo agli sviluppatori di esplorare ogni possibile percorso di esecuzione e scoprire le vulnerabilità con precisione. Disponibile come estensione per VSCode, Simbolik si integra perfettamente nei flussi di lavoro esistenti, offrendo debug in stile breakpoint, ispezione a livello di Solidity ed EVM e funzionalità di verifica formale.

Abi Ninja è un'interfaccia utente per browser per chiamare contratti con ABI note, ABI incollate o bytecode decompilato, con letture sensibili ai proxy su molte reti, incluso il tuo nodo Hardhat o Anvil in esecuzione locale.

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.