Synpress

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

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

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

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

முழுமையான Foundry சுழற்சிக்கு வெளியே ஒப்பந்தங்களை நீங்கள் பரிசோதிக்கும்போது, விரைவான பின்னூட்டச் சுழற்சிகளுக்காகப் பயன்படும் ஒரு ஊடாடும் Vyper இண்டர்ப்ரெட்டர் மற்றும் சோதனை கட்டமைப்பே Titanoboa ஆகும்.

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