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

hevm

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

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

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

Crytic-Properties

hevm பற்றி

hevm என்பது திறன் ஒப்பந்தங்களில் உள்ள சிக்கல்களைக் கண்டறியக்கூடிய ஒரு ஓப்பன் சோர்ஸ், அதிநவீன, வேகமான சிம்பாலிக் (symbolic) மற்றும் கான்கிரீட் (concrete) EVM எக்ஸிகியூஷன் எஞ்சின் ஆகும். அதன் சிம்பாலிக் எக்ஸிகியூஷன் மற்றும் பகுப்பாய்வு அமைப்பின் மூலம், hevm பிழைகளைக் கண்டறிய ஒப்பந்தங்களை சிம்பாலிக், செமி-கான்கிரீட் அல்லது கான்கிரீட் முறையில் செயல்படுத்தலாம் அல்லது முரண்பாடுகளைக் கண்டறிய இரண்டு வெவ்வேறு ஒப்பந்தங்களை ஒப்பிட்டு, சமநிலைச் சரிபார்ப்பைச் (equivalence checking) செய்யலாம்.

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

  • CLI
  • Foundry
  • பாதுகாப்பு
  • குறியீட்டுச் செயலாக்கம்

களஞ்சியம்ethereum

தகவல்

வகை
ஃபஸ்/பண்புச் சோதனை
GitHub நட்சத்திரங்கள்
362
உரிமம்
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.