মূল কন্টেন্টে যান
নিরাপত্তা ও টেস্টিং

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.