Crytic-Properties

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) ஆகும். இது ஸ்மார்ட் ஒப்பந்தங்களின் இணையான ஃபஸ் சோதனையையும் மேம்பட்ட ஸ்மார்ட் ஒப்பந்த இன்வேரியண்டுகளின் சரிபார்ப்பையும் வழங்குகிறது.

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