பாதுகாப்பு மற்றும் சோதனை

goevmlab

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

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

goevmlab பற்றி

goevmlab is an EVM fuzzing and differential testing lab built by a go-ethereum core developer. EVM implementers use it to fuzz their own implementation and compare its behavior against others to find divergences.

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

ஃபஸ் சோதனை
சோதனை
பிழைத்திருத்தக் கருவிகள்

களஞ்சியம்holiman

goevmlab314 (புதிய தாவலில் திறக்கும்)

தகவல்

வகை: ஃபஸ்/பண்புச் சோதனை
GitHub நட்சத்திரங்கள்: 314
உரிமம்: LGPL-3.0
பட்டியல் மதிப்பாய்வு செய்யப்பட்டது: செப்டம்பர் 2026

ஒத்த கருவிகள்

Chimera

Chimera என்பது foundry-இல் Solidity சோதனைகளை எழுதுவதற்கும், Echidna, Medusa, Halmos மற்றும் Kontrol போன்ற பிற ஓப்பன் சோர்ஸ் கருவிகளுடன் அவற்றை மீண்டும் பயன்படுத்துவதற்கும் ஒரு கட்டமைப்பாகும்

CROPS நேட்டிவ்

Slither

ஸ்லித்தர் என்பது Solidity மற்றும் Vyper-க்கான Trail of Bits-இன் Python நிலையான பகுப்பாய்வு எஞ்சின் ஆகும்: கண்டறிவான்களைத் தூண்ட, ஒப்பந்தங்களின் கட்டமைப்புப் பார்வைகளை அச்சிட அல்லது முழு குறியீட்டுத் தளங்களிலும் தனிப்பயன் சரிபார்ப்புகளை ஸ்கிரிப்ட் செய்ய இதை CI-இல் இயக்கவும்.

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.