سیکیورٹی اور ٹیسٹنگ

⁦CodeTracer⁩ ایک صارف دوست ٹائم ٹریولنگ ڈیبگر ہے جسے ⁦web3⁩ پروگرامنگ زبانوں کی ایک وسیع رینج کو سپورٹ کرنے کے لیے ڈیزائن کیا گیا ہے۔

⁦Simbolik⁩ ایک طاقتور ⁦Solidity⁩ ڈیبگر ہے جو روایتی بریک پوائنٹ ڈیبگنگ کو علامتی عمل درآمد (symbolic execution) کے ساتھ جوڑتا ہے، جس سے ڈیولپرز کو ہر ممکنہ عمل درآمد کے راستے کو دریافت کرنے اور درستگی کے ساتھ کمزوریوں کو بے نقاب کرنے کے قابل بناتا ہے۔ ⁦VSCode⁩ ایکسٹینشن کے طور پر دستیاب، ⁦Simbolik⁩ موجودہ ورک فلوز میں بغیر کسی رکاوٹ کے ضم ہو جاتا ہے، جو بریک پوائنٹ طرز کی ڈیبگنگ، ⁦Solidity⁩ اور ⁦EVM⁩ کی سطح کا معائنہ، اور رسمی تصدیق کی صلاحیتیں پیش کرتا ہے۔

⁦EVM⁩ کے لیے ویب پر مبنی ٹرانزیکشن ڈیبگر اور سمیلیٹر۔ اوپن سورس اور سیلف ہوسٹ ایبل۔ ہر قدم پر متغیر حالتوں کا معائنہ کریں، تعینات کرنے سے پہلے ٹرانزیکشنز کی نقل کریں، اور گیس کے استعمال کی پروفائل بنائیں۔ کسی بھی ⁦RPC⁩ پرووائیڈر کو سپورٹ کرتا ہے۔

Abi Ninja معلوم ⁦ABIs⁩، پیسٹ کیے گئے ⁦ABIs⁩، یا ڈی کمپائلڈ بائٹ کوڈ کے ساتھ کنٹریکٹس کو کال کرنے کے لیے ایک براؤزر ⁦UI⁩ ہے، جس میں آپ کے مقامی طور پر چلنے والے Hardhat یا Anvil نوڈ سمیت کئی نیٹ ورکس پر پراکسی-آگاہ ریڈز شامل ہیں۔

آپ کے ⁦IDE⁩ میں فوری طور پر کنٹریکٹ کوڈ لوڈ کرنے کے لیے ایک سادہ ⁦cli⁩ ٹول۔

سمارٹ کنٹریکٹس کے ساتھ تعامل کے لیے انتہائی آسان انٹرایکٹو شیل

⁦viem-tracer⁩ ایک ⁦Viem⁩ کلائنٹ کو بڑھاتا ہے تاکہ ناکام ⁦ethestimateGas⁩ اور ⁦ethsendTransaction⁩ کالز میں خود بخود ⁦sourcify.dev⁩ کے ساتھ ڈی کوڈ کردہ انسانی پڑھنے کے قابل ٹریس آؤٹ پٹ شامل ہو جائے، اور یہ ⁦debug_traceCall⁩ کے ارد گرد ٹائپ شدہ ہیلپرز کا اضافہ کرتا ہے تاکہ ڈیولپرز اپنے موجودہ ⁦RPC⁩ اسٹیک کو چھوڑے بغیر ایگزیکیوشن کا معائنہ کر سکیں۔

⁦EDB⁩ Solidity ایگزیکیوشن کے لیے ایک سورس-لیول ڈیبگر ہے جس میں سٹیپنگ، لوکلز، واچز، اور بریک پوائنٹس شامل ہیں جب آپ کو آن چین یا ٹیسٹس میں کنٹریکٹ کے رویے میں ⁦IDE-grade⁩ ویزیبلٹی کی ضرورت ہوتی ہے۔

⁦forge-stack-tracer⁩ تفصیلی Foundry ٹیسٹ آؤٹ پٹ کو ⁦Swiss-Knife⁩ ڈیکوڈنگ کے ذریعے پائپ کرتا ہے تاکہ فیل ہونے والے ٹیسٹس غیر واضح ہیکس کے بجائے انٹرایکٹو سٹیک ٹریسز واپس کریں۔

⁦Chimera⁩ ⁦foundry⁩ میں ⁦Solidity⁩ ٹیسٹ لکھنے اور انہیں دیگر اوپن سورس ٹولز جیسے ⁦Echidna⁩، ⁦Medusa⁩، ⁦Halmos⁩ اور ⁦Kontrol⁩ کے ساتھ دوبارہ استعمال کرنے کے قابل ہونے کے لیے ایک فریم ورک ہے۔

سلدر ⁦Solidity⁩ اور ⁦Vyper⁩ کے لیے ⁦Trail of Bits⁩ کا ⁦Python⁩ جامد تجزیہ انجن ہے: اسے ⁦CI⁩ میں چلائیں تاکہ ڈیٹیکٹرز کو فائر کیا جا سکے، کنٹریکٹس کے ساختی مناظر پرنٹ کیے جا سکیں، یا پورے کوڈ بیسز پر کسٹم چیکس اسکرپٹ کیے جا سکیں۔

⁦Synpress⁩ ⁦Playwright⁩ کو ایتھیریم سے آگاہ براؤزر آٹومیشن کے ساتھ تہہ دار بناتا ہے تاکہ آپ ⁦CI⁩ میں والیٹ پاپ اپس اور چین سوئچز سمیت غیر مرکزی ایپلی کیشنز (dapps) کا اینڈ-ٹو-اینڈ ٹیسٹ کر سکیں۔

Aderyn Cyfrin کا اوپن سورس، Rust پر مبنی Solidity سمارٹ کنٹریکٹ سٹیٹک اینالائزر ہے جسے پروٹوکول انجینئرز اور سیکیورٹی محققین کو Solidity کوڈ بیسز میں کمزوریوں کو تلاش کرنے میں مدد کے لیے ڈیزائن کیا گیا ہے۔

⁦Titanoboa⁩ ایک انٹرایکٹو ⁦Vyper⁩ انٹرپریٹر اور ٹیسٹ ہارنس ہے جو تیز فیڈ بیک لوپس کے لیے ہے جب آپ مکمل ⁦Foundry⁩ لوپ سے باہر کنٹریکٹس کے ساتھ تجربہ کر رہے ہوں۔

⁦Medusa⁩ ایک سٹیٹ فل سمارٹ کنٹریکٹ فزر (fuzzer) ہے جو ⁦Echidna⁩ سے متاثر ہے۔ یہ سمارٹ کنٹریکٹس کی متوازی فز ٹیسٹنگ اور جدید سمارٹ کنٹریکٹ انویرینٹس (invariants) کی تصدیق فراہم کرتا ہے۔

⁦solidity-coverage⁩ ⁦Hardhat⁩ ڈیولپر پلیٹ فارم کے لیے سمارٹ کنٹریکٹ کوڈ کوریج فراہم کرتا ہے۔ یہ انتہائی درست ہے، مکمل ⁦viaIR⁩ ⁦Solidity⁩ کمپائلیشن اور ⁦Solidity⁩ کے لیے مخصوص کوڈ برانچ پیٹرنز کے ایک بڑے سیٹ کو سپورٹ کرتا ہے۔ یہ ⁦~230k⁩ ⁦Github⁩ پروجیکٹس پر انسٹال ہے اور اسے ⁦NPM⁩ سے ہفتے میں ⁦~100k⁩ بار ڈاؤن لوڈ کیا جاتا ہے۔

⁦hevm⁩ ایک اوپن سورس، جدید ترین، تیز رفتار علامتی اور ٹھوس ⁦EVM⁩ ایگزیکیوشن انجن ہے جو سمارٹ کنٹریکٹس میں مسائل تلاش کر سکتا ہے۔ اپنے علامتی ایگزیکیوشن اور تجزیہ کے نظام کے ذریعے، ⁦hevm⁩ بگز تلاش کرنے کے لیے علامتی، نیم ٹھوس، یا ٹھوس طور پر کنٹریکٹس کو ایگزیکیوٹ کر سکتا ہے، یا تضادات کے لیے دو مختلف کنٹریکٹس کا موازنہ کر سکتا ہے، اور مساوات کی جانچ کر سکتا ہے۔

Crytic-Properties کچھ سب سے زیادہ استعمال ہونے والے ٹوکن معیارات جیسے ERC-20، ERC-721، ERC-4626، اور مزید کے لیے دوبارہ استعمال کے قابل سیکیورٹی ٹیسٹس کا ایک مجموعہ ہے۔

⁦Wallet Test Framework⁩ ایک خودکار سویٹ ہے جو بنیادی والیٹ فلووز—ٹرانسفرز، بیلنس ریڈز، بنیادی غیر مرکزی ایپلی کیشن (dapp) کے تعاملات—سے گزرتا ہے تاکہ ٹیمیں ⁦CI⁩ میں مشترکہ ⁦UX⁩ توقعات کا ریگریشن ٹیسٹ کر سکیں۔

برانچنگ ٹری تکنیک پر مبنی ایک سمارٹ کنٹریکٹ ٹیسٹ جنریٹر۔

⁦ERCx⁩ ⁦ERC⁩ ٹوکن معیارات کے لیے ایک جامع اوپن سورس ٹیسٹنگ لائبریری ہے، جس میں ERC-20، ERC-721، ERC-1155، اور ERC-4626 امپلیمینٹیشنز میں ⁦500⁩ سے زیادہ انفرادی ٹیسٹس شامل ہیں۔

⁦104⁩ کمزوری کے پیٹرنز اور ⁦8⁩ تجزیاتی ٹولز کے ساتھ ⁦Solidity⁩/⁦EVM⁩ سمارٹ کنٹریکٹ سیکیورٹی آڈیٹر۔ ⁦CTF⁩ اور ⁦EVMBench⁩ بینچ مارکس (⁦120/120⁩) پر ⁦100%⁩ حاصل کرتا ہے۔ سمارٹ کنٹریکٹس میں کمزوریوں کا پتہ لگانے کے لیے جامد تجزیہ۔

⁦foundry-storage-check⁩ Foundry پروجیکٹس کے لیے ایک GitHub ایکشن ہے جو ہر پل ریکویسٹ پر چلتا ہے تاکہ یہ یقینی بنایا جا سکے کہ اپ گریڈ ایبل پراکسی سٹوریج لے آؤٹس تصادم سے محفوظ رہیں اور یہ کہ نئے شامل کیے گئے سٹوریج سلاٹس مرجز کے شپ ہونے سے پہلے آن چین زیرو-انیشلائزڈ ہوں۔

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⁩ طریقے کافی نہ ہوں تو آپ انتہائی مضبوط درستگی کے دعووں کا ہدف بنا سکیں۔