Sicurezza e testing

Assertoor

Fuzz testing e property testing

Testing · Automazione dei test · DevOps

Assertoor runs configurable checks and assertions against a live Ethereum devnet to validate its behavior. Client and devnet teams use it to confirm a running network is healthy, in the same family as Hive.

Risorse correlate

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.

Titanoboa

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.