முக்கிய உள்ளடக்கத்திற்குத் தாவு
பாதுகாப்பு மற்றும் சோதனை

Crytic-Properties

ஃபஸ்/பண்புச் சோதனை

GitHub இல் பார்க்க (புதிய தாவலில் திறக்கும்)X இல் Crytic-Properties (புதிய தாவலில் திறக்கும்)

அடுத்துப் பார்க்க

AuditHub

Crytic-Properties பற்றி

Crytic-Properties என்பது ERC-20, ERC-721, ERC-4626 மற்றும் பல போன்ற மிகவும் பரவலாகப் பயன்படுத்தப்படும் சில டோக்கன் தரநிலைகளுக்கான மீண்டும் பயன்படுத்தக்கூடிய பாதுகாப்புச் சோதனைகளின் தொகுப்பாகும்.

குறிச்சொற்கள்

  • பாதுகாப்பு
  • 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.