ప్రధాన కంటెంట్‌కు దాటవేయండి
భద్రత & టెస్టింగ్

Crytic-Properties

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

GitHub లో చూడండి (కొత్త ట్యాబ్‌లో తెరవబడుతుంది)X లో Crytic-Properties (కొత్త ట్యాబ్‌లో తెరవబడుతుంది)

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

AuditHub

Crytic-Properties గురించి

Crytic-Properties అనేది ERC20, ERC721, ERC4626 మరియు మరిన్నింటి వంటి అత్యంత విస్తృతంగా ఉపయోగించే కొన్ని టోకెన్ ప్రమాణాల కోసం పునర్వినియోగించదగిన భద్రతా పరీక్షల సూట్.

ట్యాగ్‌లు

  • భద్రత
  • ERC-721
  • ఫజ్ టెస్టింగ్
  • Solidity

రిపోజిటరీcrytic

సమాచారం

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

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

Chimera

Chimera

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

Slither
CROPS నేటివ్

Slither

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

Echidna
CROPS నేటివ్

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.