Titanoboa

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

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

Synpress ஆனது Playwright உடன் எத்திரியம்-அறிந்த உலாவி தானியக்கத்தை ஒருங்கிணைக்கிறது, இதன் மூலம் நீங்கள் CI-இல் பணப்பை பாப்அப்கள் மற்றும் சங்கிலி மாற்றங்கள் உட்பட பரவலாக்கப்பட்ட செயலிகளை (dapps) எண்ட்-டு-எண்ட் சோதனை செய்யலாம்.

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

Medusa என்பது Echidna-ஆல் ஈர்க்கப்பட்ட ஒரு ஸ்டேட்ஃபுல் ஸ்மார்ட் ஒப்பந்த ஃபஸ்ஸர் (fuzzer) ஆகும். இது ஸ்மார்ட் ஒப்பந்தங்களின் இணையான ஃபஸ் சோதனையையும் மேம்பட்ட ஸ்மார்ட் ஒப்பந்த இன்வேரியண்டுகளின் சரிபார்ப்பையும் வழங்குகிறது.

solidity-coverage ஆனது Hardhat டெவலப்பர் பிளாட்ஃபார்மிற்கான ஸ்மார்ட்-ஒப்பந்த குறியீடு கவரேஜை வழங்குகிறது. இது மிகவும் துல்லியமானது, முழு viaIR solidity தொகுப்பையும் மற்றும் solidity-குறிப்பிட்ட குறியீடு கிளை பேட்டர்ன்களின் பெரிய தொகுப்பையும் ஆதரிக்கிறது. இது ~230k Github திட்டங்களில் நிறுவப்பட்டுள்ளது மற்றும் NPM-லிருந்து வாரத்திற்கு ~100k முறை பதிவிறக்கம் செய்யப்படுகிறது.