Synpress

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

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

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

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

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

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