Echidna

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

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

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