Crytic-Properties

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

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

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

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

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

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