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

ItyFuzz

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

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

ItyFuzz பற்றி

ItyFuzz is a bytecode-level smart-contract fuzzer that combines fuzzing with symbolic analysis. Builders and auditors run it against EVM bytecode when source-level fuzzing is not enough or no source is available.

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

ஃபஸ் சோதனை
குறியீட்டுச் செயலாக்கம்
பாதுகாப்பு

களஞ்சியம்fuzzland

ityfuzz1.1ஆ (புதிய தாவலில் திறக்கும்)

தகவல்

வகை: ஃபஸ்/பண்புச் சோதனை
GitHub நட்சத்திரங்கள்: 1.1ஆ
உரிமம்: MIT
பட்டியல் மதிப்பாய்வு செய்யப்பட்டது: செப்டம்பர் 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.