مرکزی مواد پر جائیں

⁦Slither⁩ کے بارے میں

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

ٹیگز

  • سیکیورٹی
  • سٹیٹک انالیسس
  • ⁦Solidity⁩
  • ⁦Vyper⁩
  • مسلسل انضمام

ریپوزٹریcrytic

معلومات

قسم
فز/پراپرٹی ٹیسٹنگ
⁦GitHub⁩ اسٹارز
۶٫۴ ہزار
لائسنس
AGPL-3.0
لسٹنگ کا جائزہ لیا گیا
ستمبر ۲۰۲۶

ملتے جلتے ٹولز