Security & testing

Titanoboa

Fuzz/Property testing

Vyper · Strumenti di debug

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.

Related resources

Chimera

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

Slither

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

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

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

Medusa

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

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.