Aderyn

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

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

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

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

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

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