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

Aderyn

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

இணையதளத்தைப் பார்வையிடவும் (புதிய தாவலில் திறக்கும்)X இல் Aderyn (புதிய தாவலில் திறக்கும்)GitHub இல் Aderyn (புதிய தாவலில் திறக்கும்)

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

ItyFuzz

Aderyn பற்றி

Aderyn என்பது Cyfrin-இன் ஓப்பன் சோர்ஸ், Rust-அடிப்படையிலான Solidity திறன் ஒப்பந்த நிலையான பகுப்பாய்வி ஆகும், இது நெறிமுறைப் பொறியாளர்கள் மற்றும் பாதுகாப்பு ஆராய்ச்சியாளர்கள் Solidity குறியீட்டுத் தளங்களில் உள்ள பாதிப்புகளைக் கண்டறிய உதவும் வகையில் வடிவமைக்கப்பட்டுள்ளது.

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

  • CLI
  • பாதுகாப்பு
  • கல்வி
  • Solidity
  • நிலையான பகுப்பாய்வு
  • VSCode நீட்டிப்பு
  • சமூகத்தால் இயக்கப்படும்

களஞ்சியம்Cyfrin

தகவல்

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