Echidna

ఫజ్/ప్రాపర్టీ టెస్టింగ్

GitHub లో చూడండి

తర్వాతది చూడండి

Synpress

Echidna గురించి

Echidna is a property-based and grammar fuzzer for Ethereum smart contracts. Builders and auditors write properties with it to find inputs that break contract invariants.

ట్యాగ్‌లు

ఫజ్ టెస్టింగ్
టెస్టింగ్
భద్రత

రిపోజిటరీcrytic

echidna3.2వే (కొత్త ట్యాబ్‌లో తెరవబడుతుంది)

సమాచారం

రకం: ఫజ్/ప్రాపర్టీ టెస్టింగ్
GitHub స్టార్స్: 3.2వే
లైసెన్స్: AGPL-3.0
జాబితా సమీక్షించబడింది: సెప్టెంబర్ 2026

సారూప్య సాధనాలు

Chimera

Chimera అనేది foundryలో Solidity పరీక్షలను వ్రాయడానికి మరియు Echidna, Medusa, Halmos మరియు Kontrol వంటి ఇతర ఓపెన్ సోర్స్ టూల్స్‌తో వాటిని తిరిగి ఉపయోగించుకోవడానికి ఒక ఫ్రేమ్‌వర్క్

CROPS నేటివ్

Slither

స్లిదర్ అనేది Solidity మరియు Vyper కోసం Trail of Bits యొక్క Python స్టాటిక్ విశ్లేషణ ఇంజిన్: డిటెక్టర్‌లను అమలు చేయడానికి, కాంట్రాక్ట్‌ల నిర్మాణ వీక్షణలను ముద్రించడానికి లేదా మొత్తం కోడ్‌బేస్‌లపై అనుకూల తనిఖీలను స్క్రిప్ట్ చేయడానికి దీనిని CI లో రన్ చేయండి.

Medusa

Medusa అనేది Echidna స్ఫూర్తితో రూపొందించబడిన స్టేట్‌ఫుల్ స్మార్ట్ కాంట్రాక్ట్ ఫజర్. ఇది స్మార్ట్ కాంట్రాక్ట్‌ల ప్యారలలైజ్డ్ ఫజ్ టెస్టింగ్‌ను మరియు అధునాతన స్మార్ట్ కాంట్రాక్ట్ ఇన్వేరియంట్‌ల ధృవీకరణను అందిస్తుంది.