ابزارهای توسعه و متن‌باز

eth-sri/securify2

مخزن عمومی GitHub، با زبان اصلی Solidity.

مدخل واردشده
01 / کاربرد

کاربرد

eth-sri/securify2 یک مخزن عمومی GitHub است، با زبان اصلی Solidity. آخرین تصویر ذخیره‌شده، ۶۳۵ ستاره و ۱۴۱ فورک را گزارش می‌کند. موضوع‌ها: datalog, ethereum, امنیت, smart contract, solidity, static analysis. پیش از استفاده از نرم‌افزار، مستندات، مجوز و گزارش‌های مشکل فعلی را بخوان.

Securify v2.0

توضیح اصلی پروژه · GitHub
02 / GITHUB

مخزن‌های GitHub

ستاره
۶۳۵
ستاره افزوده · ۷ روز
—
فورک
۱۴۱
زبان اصلی
Solidity
مجوز مخزن
Apache-2.0
آخرین ارسال کد
۲۵ مه ۲۰۲۵

محبوبیت از ستاره GitHub است. رشد ۷روزه به یک هفته ثبت محلی نیاز دارد. این رتبه‌بندی رسمی GitHub نیست.

منابع و تازگی

منابع و تازگی

GitHub ↗منبع تازه شد · ۱۵ اکتبر ۲۰۲۶

مدخل‌های واردشده منبع دارند. مدخل برای کشف است، نه تأیید.

جست‌وجو در 1Bitcoin

ابزار و راهنما

مدخل‌های هاب