Slither

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

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

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