Security-focused ERC-20 treasury vault prototype built with Solidity, Foundry, and OpenZeppelin, with access control, pausing, reentrancy protection, and fuzz-tested deposits and withdrawals.
-
Updated
Aug 7, 2026 - Solidity
Security-focused ERC-20 treasury vault prototype built with Solidity, Foundry, and OpenZeppelin, with access control, pausing, reentrancy protection, and fuzz-tested deposits and withdrawals.
A framework for software security analysis, combining static, dynamic and fuzz testing.
If the crashfile of a Fuzzer does not crash: Finds a minimal sequence Fuzz Tests that do crash
A library and application for a reversed-engineerid LED matrix.
To associate your repository with the fuzztesting topic, visit your repo's landing page and select "manage topics."