பாதுகாப்பு மற்றும் சோதனை

CodeTracer என்பது பரந்த அளவிலான web3 நிரலாக்க மொழிகளை ஆதரிக்க வடிவமைக்கப்பட்ட பயனர் நட்பு நேரப் பயணப் பிழைத்திருத்தியாகும் (time-traveling debugger).

Simbolik என்பது ஒரு சக்திவாய்ந்த Solidity பிழைத்திருத்தியாகும், இது பாரம்பரிய பிரேக்பாயிண்ட் பிழைத்திருத்தத்தை குறியீட்டுச் செயலாக்கத்துடன் ஒருங்கிணைத்து, டெவலப்பர்கள் சாத்தியமான ஒவ்வொரு செயலாக்கப் பாதையையும் ஆராயவும், பாதிப்புகளைத் துல்லியமாகக் கண்டறியவும் அனுமதிக்கிறது. VSCode நீட்டிப்பாகக் கிடைக்கும் Simbolik, ஏற்கனவே உள்ள பணிப்பாய்வுகளில் தடையின்றி ஒருங்கிணைந்து, பிரேக்பாயிண்ட்-பாணி பிழைத்திருத்தம், Solidity மற்றும் EVM-நிலை ஆய்வு மற்றும் முறைசார் சரிபார்ப்புத் திறன்களை வழங்குகிறது.

EVM-க்கான இணைய அடிப்படையிலான பரிவர்த்தனைப் பிழைத்திருத்தி மற்றும் சிமுலேட்டர். ஓப்பன் சோர்ஸ் மற்றும் சுயமாக ஹோஸ்ட் செய்யக்கூடியது. ஒவ்வொரு படியிலும் மாறி நிலைகளை ஆய்வு செய்யவும், நிலைநிறுத்துவதற்கு முன் பரிவர்த்தனைகளை உருவகப்படுத்தவும், மற்றும் எரிவாயுப் பயன்பாட்டைப் பகுப்பாய்வு செய்யவும். எந்தவொரு RPC வழங்குநரையும் ஆதரிக்கிறது.

Abi Ninja என்பது தெரிந்த ABI-கள், ஒட்டப்பட்ட ABI-கள் அல்லது டீகம்பைல் செய்யப்பட்ட பைட் குறியீட்டைக் கொண்டு ஒப்பந்தங்களை அழைப்பதற்கான ஒரு உலாவி UI ஆகும், இது உங்கள் கணினியில் இயங்கும் Hardhat அல்லது Anvil கணு உட்பட பல பிணையங்கள் முழுவதும் ப்ராக்ஸி-ஆதரவுடைய வாசிப்புகளைக் கொண்டுள்ளது.

உங்கள் IDE-இல் உடனடியாக ஒப்பந்தக் குறியீட்டை ஏற்றுவதற்கான எளிய cli கருவி.

ஸ்மார்ட் ஒப்பந்தங்களுடன் தொடர்புகொள்வதற்கான மிக எளிதான இன்டராக்டிவ் ஷெல்

viem-tracer ஒரு Viem கிளையண்டை மேம்படுத்துகிறது, இதனால் தோல்வியடைந்த ethestimateGas மற்றும் ethsendTransaction அழைப்புகள் sourcify.dev மூலம் டிகோட் செய்யப்பட்ட மனிதர்கள் படிக்கக்கூடிய ட்ரேஸ் வெளியீட்டை தானாகவே உள்ளடக்கும், மேலும் இது debug_traceCall-ஐச் சுற்றி டைப்டு ஹெல்பர்களைச் சேர்க்கிறது, இதன் மூலம் டெவலப்பர்கள் தங்கள் தற்போதைய RPC ஸ்டேக்கை விட்டு வெளியேறாமல் செயல்பாட்டை ஆய்வு செய்யலாம்.

சங்கிலிசார் அல்லது சோதனைகளில் ஒப்பந்தத்தின் செயல்பாடுகள் குறித்து IDE-தரத்திலான தெரிவுநிலை உங்களுக்குத் தேவைப்படும்போது, ஸ்டெப்பிங், லோக்கல்ஸ், வாட்சஸ் மற்றும் பிரேக்பாயிண்ட்களுடன் கூடிய Solidity செயலாக்கத்திற்கான ஒரு மூல-நிலை பிழைத்திருத்தியே EDB ஆகும்.

forge-stack-tracer ஆனது விரிவான Foundry சோதனை வெளியீட்டை Swiss-Knife குறிவிலக்கத்தின் மூலம் அனுப்புகிறது, இதனால் தோல்வியடையும் சோதனைகள் தெளிவற்ற hex-க்கு பதிலாக ஊடாடும் ஸ்டேக் ட்ரேஸ்களை வழங்குகின்றன.

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

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

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

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

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

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

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

hevm என்பது திறன் ஒப்பந்தங்களில் உள்ள சிக்கல்களைக் கண்டறியக்கூடிய ஒரு ஓப்பன் சோர்ஸ், அதிநவீன, வேகமான சிம்பாலிக் (symbolic) மற்றும் கான்கிரீட் (concrete) EVM எக்ஸிகியூஷன் எஞ்சின் ஆகும். அதன் சிம்பாலிக் எக்ஸிகியூஷன் மற்றும் பகுப்பாய்வு அமைப்பின் மூலம், hevm பிழைகளைக் கண்டறிய ஒப்பந்தங்களை சிம்பாலிக், செமி-கான்கிரீட் அல்லது கான்கிரீட் முறையில் செயல்படுத்தலாம் அல்லது முரண்பாடுகளைக் கண்டறிய இரண்டு வெவ்வேறு ஒப்பந்தங்களை ஒப்பிட்டு, சமநிலைச் சரிபார்ப்பைச் (equivalence checking) செய்யலாம்.

Crytic-Properties என்பது ERC-20, ERC-721, ERC-4626 மற்றும் பல போன்ற மிகவும் பரவலாகப் பயன்படுத்தப்படும் சில டோக்கன் தரநிலைகளுக்கான மீண்டும் பயன்படுத்தக்கூடிய பாதுகாப்புச் சோதனைகளின் தொகுப்பாகும்.

Wallet Test Framework என்பது ஒரு தானியங்கு தொகுப்பாகும், இது முக்கிய பணப்பை செயல்பாடுகளான - பரிமாற்றங்கள், இருப்புகளைப் படித்தல், அடிப்படை பரவலாக்கப்பட்ட செயலி (dapp) தொடர்புகள் ஆகியவற்றை - செயல்படுத்துகிறது, இதனால் குழுக்கள் CI-இல் பொதுவான UX எதிர்பார்ப்புகளை பின்னடைவு-சோதனை செய்ய முடியும்.

Branching Tree Technique-ஐ அடிப்படையாகக் கொண்ட ஸ்மார்ட் ஒப்பந்தச் சோதனை உருவாக்கி (test generator).

ERCx என்பது ERC வில்லைத் தரநிலைகளுக்கான ஒரு விரிவான ஓப்பன் சோர்ஸ் சோதனை நிரலகமாகும், இது ERC-20, ERC-721, ERC-1155 மற்றும் ERC-4626 செயலாக்கங்களில் 500-க்கும் மேற்பட்ட தனிப்பட்ட சோதனைகளைக் கொண்டுள்ளது.

104 பாதிப்பு வடிவங்கள் மற்றும் 8 பகுப்பாய்வுக் கருவிகளைக் கொண்ட Solidity/EVM திறன் ஒப்பந்தப் பாதுகாப்புத் தணிக்கையாளர். CTF மற்றும் EVMBench பெஞ்ச்மார்க்குகளில் 100% (120/120) அடைகிறது. திறன் ஒப்பந்தங்களில் உள்ள பாதிப்புகளைக் கண்டறிவதற்கான நிலையான பகுப்பாய்வு.

foundry-storage-check என்பது Foundry திட்டங்களுக்கான ஒரு GitHub Action ஆகும். இது மேம்படுத்தக்கூடிய ப்ராக்ஸி ஸ்டோரேஜ் லேஅவுட்கள் மோதல்கள் இன்றி பாதுகாப்பாக இருப்பதையும், குறியீடுகள் இணைக்கப்படுவதற்கு முன்பு புதிதாகச் சேர்க்கப்பட்ட ஸ்டோரேஜ் ஸ்லாட்டுகள் சங்கிலிசார் பூஜ்ஜிய-துவக்கம் செய்யப்படுவதையும் உறுதிசெய்ய ஒவ்வொரு புல் ரிக்வெஸ்டிலும் இயங்குகிறது.

blocksmith.js என்பது ஒரு உள்ளூர் EVM மட்டும் போதாத போது, மல்டி-செயின் அல்லது மல்டி-இன்ஸ்டன்ஸ் Foundry சோதனைகளை ஸ்கிரிப்ட் செய்வதற்காக forge மற்றும் anvil-ஐச் சுற்றியுள்ள ஒரு எளிய JavaScript கட்டமைப்பாகும்.

KEVM என்பது EVM-இன் K-framework செயல்படுத்தக்கூடிய சொற்பொருளியல் (executable semantics) ஆகும்: உங்களுக்கு இணக்கத்தன்மை சரிபார்க்கப்பட்ட செயலாக்கம், குறியீட்டு ஆய்வு, எரிவாயு பகுப்பாய்வு அல்லது எத்திரியத்தின் விதிகளை நெருக்கமாகப் பின்பற்றும் சான்றுகள் தேவைப்படும்போது, பைட் குறியீட்டில் இதைப் பயன்படுத்துங்கள்.

Kontrol ஆனது Foundry பண்புச் சோதனைகளை KEVM-ஆதரவுடைய சான்றுகளாக மாற்றுகிறது, இதனால் வெறும் KEVM-ஐ மட்டும் பயன்படுத்துவதை விட குறைவான கையால் எழுதப்பட்ட விவரக்குறிப்பு வேலைகளுடன் முறைசார் உத்தரவாதங்களை நீங்கள் பெற முடியும்.

hax என்பது Rust-இன் பெரிய துணைக்குழுவை F* அல்லது Rocq போன்ற முறையான மொழிகளில் (formal languages) உயர்-உத்தரவாத மொழிபெயர்ப்புகளுக்கான கருவியாகும்.

Act என்பது எத்திரியத்தின் அறிவிப்பு விவரக்குறிப்பு மொழி மற்றும் கருவித்தொகுப்பாகும். இது ஒரு EVM நிரலின் அனைத்து நடத்தைகளையும் விவரிக்கப் பயன்படுகிறது, இதன் மூலம் SMT தீர்ப்பிகள், தேற்ற நிரூபிகள் அல்லது பொருளாதாரப் பகுப்பாய்வுக் கருவிகள், நடைமுறைச் செயலாக்கங்களுக்கு எதிரான தானியங்கி சுத்திகரிப்பு சான்றுகள் உட்பட, பைட் குறியீடு-நிலை சரியான தன்மை மற்றும் ஊக்கத்தொகை இணக்கத்தன்மை குறித்து பகுப்பாய்வு செய்ய முடியும்.

தானியங்கு SMT அணுகுமுறைகள் போதுமானதாக இல்லாதபோது, மிக வலுவான சரியான தன்மைக்கான உறுதிப்பாடுகளை நீங்கள் இலக்காகக் கொள்ளும் வகையில், Verifereum எத்திரியம் திறன் ஒப்பந்தங்களை HOL4-ஆதரவுடைய தேற்றம் நிரூபித்தலுடன் இணைக்கிறது.