Security & testing

foundry-storage-check

Fuzz/Property testing

Foundry · CLI · DevOps · GitHub Actions · Solidity · Layout dello storage · Qualità del codice · Sicurezza

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.

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.

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.