Fizz

Name: Fizz
Author: pashov

Générez des suites de fuzzing Solidity compatibles Echidna/Medusa à partir de projets Foundry ou Hardhat.

déclencheurs:fizzgenerate fuzz suitebuild fuzz harnessstateful fuzzingfuzzing harnessproperty testinginvariant suite

Fizz automatise la création de suites de fuzzing Solidity avec état. Il construit un harnais de test complet comprenant :

Génération d'échafaudage : Crée un répertoire de suite structuré avec des fichiers de harnais centraux et des mocks utilitaires.
Synthèse de gestionnaires : Génère et affine automatiquement des fichiers de gestionnaires pour les contrats sélectionnés afin de maximiser la couverture du protocole.
Analyse de couverture : S'intègre à Medusa pour suivre la couverture des branches et améliorer itérativement le harnais.
Découverte d'invariants : Mobilise 5 agents spécialisés pour identifier des propriétés à haute valeur (Conservation, Round-Trip, Transition d'État, Adversaire et spécifiques au type de protocole).
Implémentation de propriétés : Implémente les invariants découverts sous forme d'assertions Solidity exécutables.
Reproduction de violations : Génère automatiquement des tests de reproduction Foundry pour toute violation détectée par le fuzzer.

Prend en charge le mode guidé (avec points de contrôle humains) et le mode automatique (exécution de bout en bout).

Étiquettes

#solidity #fuzzing #security #smart-contracts #echidna #medusa #foundry

Pas encore audité

Cette compétence n'a pas encore été examinée par notre pipeline d'audit automatisé.

Informations

Dépôt: pashov

Compétences similaires

Monad Development

Practical developer skill for deploying and verifying smart contracts, configuring Foundry projects, and integrating frontends (viem/wagmi) on the Monad blockch

Reverse Engineer

Provides step-by-step guidance and best practices for binary reverse engineering: static analysis, dynamic tracing, disassembly, and documentation workflows for

Sandbox0 Integration

Guidance and templates for integrating Sandbox0 sandboxing into AI agents — CLI/SDK patterns, templates, volumes, network policy, and deployment choices.

CTF Write-up Generator

Generate a concise, reproducible submission-style CTF writeup with a one-path solution script, metadata, and a short checklist for fast verification.

Azure External Attack Surface Management

Provides expert guidance for Azure External Attack Surface Management (EASM): quotas, configuration, integrations, and exporting inventory to analytics platform

Node.js Best Practices

Guidelines and decision-making for Node.js architecture, runtime, async patterns, security, validation, and testing to inform framework and system choices.

radar — Smart Contract AST & Security Analysis

Multi-framework AST generator and static analysis tool for smart contracts (Rust/Anchor/Stylus and Solidity/Foundry) with a template DSL for writing detection r

Bash Pro

Defensive, production-grade Bash scripting patterns and CI/CD best practices: strict mode, safe argument parsing, testing with Bats, and tooling (ShellCheck/shf

Retour aux compétences