Skip to main content
Security & testing

foundry-storage-check

Fuzz/Property testing

Foundry · CLI · DevOps · GitHub actions · Solidity · Storage layout · Code quality · Security

Rubilmax/foundry-storage-check(101 ☆) (opens in a new tab)

foundry-storage-check is a GitHub Action for Foundry projects that runs on every pull request to ensure upgradeable proxy storage layouts stay collision-safe and that newly appended storage slots are zero-initialized onchain before merges ship.

Related resources

Chimera

Chimera

Chimera is a framework to write Solidity tests in foundry and be able to reuse them with other Open Source Tools such as Echidna, Medusa, Halmos and Kontrol

Slither

Slither

Slither is Trail of Bits' Python static analysis engine for Solidity and Vyper: run it in CI to fire detectors, print structural views of contracts, or script custom checks over whole codebases.

Synpress

Synpress

Synpress layers Playwright with Ethereum-aware browser automation so you can end-to-end test dapps, including wallet popups and chain switches, in CI.

Aderyn

Aderyn

Aderyn is Cyfrin's open-source, Rust-based solidity smart contract static analyzer designed to help protocol engineers and security researchers find vulnerabilities in Solidity code bases

Medusa

Medusa

Medusa is a stateful smart contract fuzzer inspired by Echidna. It provides parallelized fuzz testing of smart contracts and the verification of advanced smart contract invariants.

Titanoboa

Titanoboa

Titanoboa is an interactive Vyper interpreter and test harness for fast feedback loops when you are experimenting with contracts outside a full Foundry loop.