Sicurezza e testing

spamoor

Fuzz testing e property testing

Testing · Ottimizzazione delle prestazioni

spamoor is a configurable Ethereum transaction generator for load-testing testnets and devnets with realistic traffic. Teams point it at a network to see how it behaves under sustained transaction volume.

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.