নিরাপত্তা ও টেস্টিং

CodeTracer হলো একটি ব্যবহারকারীবান্ধব টাইম-ট্রাভেলিং ডিবাগার যা বিস্তৃত পরিসরের web3 প্রোগ্রামিং ল্যাঙ্গুয়েজ সাপোর্ট করার জন্য ডিজাইন করা হয়েছে।

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 স্ট্যাক থেকে বের না হয়েই এক্সিকিউশন ইন্সপেক্ট করতে পারেন।

EDB হলো Solidity এক্সিকিউশনের জন্য স্টেপিং, লোকালস, ওয়াচেস এবং ব্রেকপয়েন্টসহ একটি সোর্স-লেভেল ডিবাগার, যা অনচেইন বা টেস্টে কন্ট্রাক্টের আচরণের উপর IDE-মানের দৃশ্যমানতার প্রয়োজন হলে কাজে লাগে।

forge-stack-tracer বিস্তারিত Foundry টেস্ট আউটপুটকে Swiss-Knife ডিকোডিংয়ের মাধ্যমে পাস করে, যাতে ব্যর্থ টেস্টগুলো অস্পষ্ট হেক্সের পরিবর্তে ইন্টারেক্টিভ স্ট্যাক ট্রেস রিটার্ন করে।

Chimera হলো Foundry-তে Solidity টেস্ট লেখার জন্য একটি ফ্রেমওয়ার্ক এবং Echidna, Medusa, Halmos এবং Kontrol-এর মতো অন্যান্য ওপেন সোর্স টুলের সাথে সেগুলো পুনরায় ব্যবহার করতে সক্ষম হওয়ার জন্য

স্লিদার হলো Solidity এবং Vyper-এর জন্য Trail of Bits-এর Python স্ট্যাটিক অ্যানালাইসিস ইঞ্জিন: ডিটেক্টর ট্রিগার করতে, কন্ট্রাক্টের কাঠামোগত ভিউ প্রিন্ট করতে, অথবা সম্পূর্ণ কোডবেস জুড়ে কাস্টম চেক স্ক্রিপ্ট করতে এটি CI-তে রান করুন।

Synpress Playwright-এর সাথে ইথেরিয়াম-সচেতন ব্রাউজার অটোমেশনের সমন্বয় করে, যাতে আপনি CI-তে ওয়ালেট পপআপ এবং চেইন সুইচ সহ বিকেন্দ্রীকৃত অ্যাপ্লিকেশন (dapp)-এর এন্ড-টু-এন্ড টেস্ট করতে পারেন।

Aderyn হলো Cyfrin-এর ওপেন-সোর্স, Rust-ভিত্তিক Solidity স্মার্ট কন্ট্রাক্ট স্ট্যাটিক অ্যানালাইজার যা প্রোটোকল ইঞ্জিনিয়ার এবং সিকিউরিটি গবেষকদের Solidity কোড বেসে দুর্বলতা খুঁজে বের করতে সাহায্য করার জন্য ডিজাইন করা হয়েছে

Titanoboa হলো একটি ইন্টারেক্টিভ Vyper ইন্টারপ্রেটার এবং টেস্ট হারনেস, যা সম্পূর্ণ Foundry লুপের বাইরে কন্ট্রাক্ট নিয়ে পরীক্ষা-নিরীক্ষা করার সময় দ্রুত ফিডব্যাক লুপের জন্য ব্যবহৃত হয়।

Medusa হলো Echidna দ্বারা অনুপ্রাণিত একটি স্টেটফুল স্মার্ট কন্ট্রাক্ট ফাজার। এটি স্মার্ট কন্ট্রাক্টের প্যারালালাইজড ফাজ টেস্টিং এবং অ্যাডভান্সড স্মার্ট কন্ট্রাক্ট ইনভ্যারিয়েন্টগুলোর ভেরিফিকেশন প্রদান করে।

solidity-coverage Hardhat ডেভেলপার প্ল্যাটফর্মের জন্য স্মার্ট-কন্ট্রাক্ট কোড কভারেজ প্রদান করে। এটি অত্যন্ত নির্ভুল, সম্পূর্ণ viaIR solidity কম্পাইলেশন এবং solidity-নির্দিষ্ট কোড ব্রাঞ্চ প্যাটার্নের একটি বড় সেট সমর্থন করে। এটি ~230k Github প্রজেক্টে ইনস্টল করা আছে এবং NPM থেকে সপ্তাহে ~100k বার ডাউনলোড করা হয়।

hevm হলো একটি ওপেন সোর্স, অত্যাধুনিক, দ্রুত সিম্বলিক এবং কনক্রিট EVM এক্সিকিউশন ইঞ্জিন যা স্মার্ট কন্ট্রাক্টের সমস্যাগুলো খুঁজে বের করতে পারে। এর সিম্বলিক এক্সিকিউশন এবং অ্যানালিসিস সিস্টেমের মাধ্যমে, hevm বাগ খুঁজে বের করার জন্য সিম্বলিক, সেমি-কনক্রিট বা কনক্রিটভাবে কন্ট্রাক্ট এক্সিকিউট করতে পারে, অথবা অসঙ্গতি বের করার জন্য দুটি ভিন্ন কন্ট্রাক্টের তুলনা করে ইকুইভ্যালেন্স চেকিং করতে পারে।

Crytic-Properties হলো ERC20, ERC721, ERC4626 এবং আরও অনেক কিছুর মতো সর্বাধিক ব্যবহৃত কিছু টোকেন স্ট্যান্ডার্ডের জন্য পুনঃব্যবহারযোগ্য সিকিউরিটি টেস্টের একটি স্যুট।

Wallet Test Framework হলো একটি স্বয়ংক্রিয় স্যুট যা মূল ওয়ালেট ফ্লো-গুলো (যেমন- ট্রান্সফার, ব্যালেন্স রিড, সাধারণ বিকেন্দ্রীকৃত অ্যাপ্লিকেশন (dapp) ইন্টারঅ্যাকশন) ধাপে ধাপে সম্পন্ন করে, যাতে টিমগুলো CI-তে শেয়ার করা UX প্রত্যাশাগুলোর রিগ্রেশন-টেস্ট করতে পারে।

Branching Tree Technique-এর উপর ভিত্তি করে একটি স্মার্ট কন্ট্রাক্ট টেস্ট জেনারেটর।

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 হলো forge এবং anvil-এর চারপাশে একটি হালকা JavaScript হারনেস, যা মাল্টি-চেইন বা মাল্টি-ইনস্ট্যান্স Foundry টেস্ট স্ক্রিপ্ট করার জন্য ব্যবহৃত হয় যখন একটি মাত্র লোকাল EVM যথেষ্ট নয়।

KEVM হলো EVM-এর K-framework এক্সিকিউটেবল সিম্যান্টিকস: যখন আপনার কনফরম্যান্স-চেকড এক্সিকিউশন, সিম্বলিক এক্সপ্লোরেশন, গ্যাস রিজনিং, বা ইথেরিয়ামের নিয়মগুলো ঘনিষ্ঠভাবে অনুসরণ করে এমন প্রমাণের প্রয়োজন হয়, তখন এটিকে বাইটকোডে পয়েন্ট করুন।

Kontrol Foundry-এর প্রপার্টি টেস্টগুলোকে KEVM-সমর্থিত প্রমাণে উন্নীত করে, যাতে আপনি শুধুমাত্র সাধারণ KEVM-এর তুলনায় অনেক কম হাতে-লেখা স্পেসিফিকেশনের কাজ করে বিধিবদ্ধ নিশ্চয়তা অর্জন করতে পারেন।

hax হলো Rust-এর একটি বড় সাবসেটকে F* বা Rocq-এর মতো ফরমাল ল্যাঙ্গুয়েজে হাই অ্যাসিওরেন্স ট্রান্সলেশনের জন্য একটি টুল।

Act হলো ইথেরিয়ামের ডিক্লারেটিভ স্পেসিফিকেশন ভাষা এবং টুলচেইন যা একটি EVM প্রোগ্রামের সমস্ত আচরণ বর্ণনা করার জন্য ব্যবহৃত হয়, যাতে SMT সলভার, থিওরেম প্রুভার, বা অর্থনৈতিক বিশ্লেষণ টুলগুলো বাইটকোড-স্তরের সঠিকতা এবং ইনসেনটিভ সামঞ্জস্যতা সম্পর্কে যৌক্তিক বিশ্লেষণ করতে পারে, যার মধ্যে কংক্রিট ইমপ্লিমেন্টেশনের বিপরীতে স্বয়ংক্রিয় রিফাইনমেন্ট প্রুফ অন্তর্ভুক্ত রয়েছে।

Verifereum ইথেরিয়াম স্মার্ট কন্ট্রাক্টগুলোকে HOL4-ব্যাকড থিওরেম প্রুভিংয়ের সাথে যুক্ত করে, যাতে স্বয়ংক্রিয় SMT পদ্ধতিগুলো যথেষ্ট না হলে আপনি অত্যন্ত শক্তিশালী সঠিকতার দাবি করার লক্ষ্য রাখতে পারেন।