Přejít na hlavní obsah
Medusa
Bezpečnost a testování

Medusa

Fuzz/Property testování

Bezpečnost · Správa · Analytika · Fuzz testování

Medusa je stavový fuzzer chytrých kontraktů inspirovaný nástrojem Echidna. Poskytuje paralelizované fuzz testování chytrých kontraktů a ověřování pokročilých invariantů chytrých kontraktů.

Související zdroje