Vault Security Suite

Foundry test harness + invariant tests for ERC-4626 vaults

Features

20+ Invariant Tests

Inflation Attack Proof

Fee Manipulation Tests

Reentrancy Scenarios

Configuration

Test Suite

Fuzz Runs

Deposit Amount

USDC

Attack Scenario

Test Results

Invariant Tests: 22/22 passed ✓ | Fuzz Runs: 1,000 (0 failures) | Inflation Attack: Blocked ✓ (virtual shares at _decimalsOffset=6) | Gas: deposit=85K, withdraw=62K

Coverage Report

Line Coverage: 97.2% | Branch Coverage: 94.5% | Invariant Coverage: 22 properties | Gas Benchmark: deposit 85K, withdraw 62K, harvest 120K

Get the Full Vault Security Suite

Interactive demo with limited functionality. Full version includes source code, documentation, and lifetime updates.

View product details & buy

This demo shows limited functionality — some features are simulated. Purchase the full version for complete functionality.

Vault Forge — Vault Security Suite