Sicurezza e testing

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

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.

Debugger e simulatore di transazioni basato sul web per l'EVM. Open source e self-hostable. Ispeziona gli stati delle variabili in ogni fase, simula le transazioni prima di distribuirle e analizza l'utilizzo del gas. Supporta qualsiasi provider RPC.

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.

un semplice strumento CLI per caricare istantaneamente il codice di un contratto nel tuo IDE.

Shell interattiva super facile per interagire con gli smart contract

viem-tracer potenzia un client Viem in modo che le chiamate ethestimateGas ed ethsendTransaction non riuscite includano automaticamente un output di tracciamento leggibile dall'uomo decodificato con sourcify.dev, e aggiunge assistenti tipizzati attorno a debug_traceCall in modo che gli sviluppatori possano ispezionare l'esecuzione senza abbandonare il loro stack RPC esistente.

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.

forge-stack-tracer convoglia l'output dettagliato dei test di Foundry attraverso la decodifica Swiss-Knife in modo che i test falliti restituiscano tracce dello stack interattive invece di esadecimali opachi.

Chimera è un framework per scrivere test Solidity in Foundry e poterli riutilizzare con altri strumenti open source come Echidna, Medusa, Halmos e Kontrol

Slither è il motore di analisi statica in Python di Trail of Bits per Solidity e Vyper: eseguilo in CI per attivare rilevatori, stampare viste strutturali dei contratti o creare script per controlli personalizzati su intere codebase.

Synpress sovrappone Playwright con l'automazione del browser compatibile con Ethereum in modo da poter testare le dapp end-to-end, inclusi i popup del portafoglio e i cambi di catena, in CI.

Aderyn è l'analizzatore statico open source di smart contract Solidity basato su Rust di Cyfrin, progettato per aiutare gli ingegneri di protocollo e i ricercatori di sicurezza a trovare vulnerabilità nelle basi di codice Solidity

Titanoboa è un interprete Vyper interattivo e un ambiente di test per cicli di feedback rapidi quando sperimenti con i contratti al di fuori di un ciclo Foundry completo.

Medusa è un fuzzer di smart contract con stato ispirato a Echidna. Fornisce test di fuzzing parallelizzati degli smart contract e la verifica di invarianti avanzati degli smart contract.

solidity-coverage fornisce la copertura del codice degli smart contract per la piattaforma per sviluppatori Hardhat. È altamente accurato, supporta la compilazione completa di Solidity viaIR e un ampio set di pattern di rami di codice specifici per Solidity. È installato su circa 230.000 progetti GitHub e viene scaricato circa 100.000 volte a settimana da NPM.

hevm è un motore di esecuzione EVM simbolico e concreto, veloce, all'avanguardia e open source, in grado di trovare problemi negli smart contract. Attraverso il suo sistema di esecuzione e analisi simbolica, hevm può eseguire contratti in modo simbolico, semi-concreto o concreto per trovare bug, o confrontare due contratti diversi per individuare discrepanze, eseguendo un controllo di equivalenza.

Crytic-Properties è una suite di test di sicurezza riutilizzabili per alcuni degli standard di token più ampiamente utilizzati come ERC-20, ERC-721, ERC-4626 e altri.

Wallet Test Framework è una suite automatizzata che percorre i flussi principali del portafoglio (trasferimenti, letture del saldo, interazioni di base con le applicazioni decentralizzate (dapp)) in modo che i team possano eseguire test di regressione sulle aspettative UX condivise in CI.

Un generatore di test per smart contract basato sulla Branching Tree Technique.

ERCx è una libreria di test open source completa per gli standard dei token ERC, che presenta oltre 500 test individuali per le implementazioni ERC-20, ERC-721, ERC-1155 ed ERC-4626.

Auditor di sicurezza per smart contract Solidity/EVM con 104 pattern di vulnerabilità e 8 strumenti di analisi. Raggiunge il 100% nei benchmark CTF ed EVMBench (120/120). Analisi statica per il rilevamento di vulnerabilità negli smart contract.

foundry-storage-check è una GitHub Action per i progetti Foundry che viene eseguita su ogni pull request per garantire che i layout di archiviazione dei proxy aggiornabili rimangano sicuri dalle collisioni e che gli slot di archiviazione appena aggiunti siano inizializzati a zero onchain prima che le unioni vengano distribuite.

blocksmith.js è un sottile framework JavaScript attorno a forge e anvil per lo scripting di test Foundry multi-catena o multi-istanza quando una singola EVM locale non è sufficiente.

KEVM è la semantica eseguibile del K-framework dell'EVM: puntalo al bytecode quando hai bisogno di un'esecuzione con controllo di conformità, esplorazione simbolica, ragionamento sul gas o prove che seguono da vicino le regole di Ethereum.

Kontrol eleva i test delle proprietà di Foundry in prove supportate da KEVM, in modo da poter perseguire garanzie formali con meno lavoro di specifica scritto a mano rispetto al solo KEVM grezzo.

hax è uno strumento per traduzioni ad alta garanzia di un ampio sottoinsieme di Rust in linguaggi formali come F* o Rocq.

Act è il linguaggio di specifica dichiarativa e la toolchain di Ethereum per descrivere tutti i comportamenti di un programma EVM, in modo che i risolutori SMT, i dimostratori di teoremi o gli strumenti di analisi economica possano ragionare sulla correttezza a livello di bytecode e sulla compatibilità degli incentivi, incluse le prove di raffinamento automatico rispetto a implementazioni concrete.

Verifereum connette gli smart contract di Ethereum alla dimostrazione di teoremi supportata da HOL4, in modo da poter puntare a dichiarazioni di correttezza molto forti quando gli approcci SMT automatizzati non sono sufficienti.