ابزارهای توسعه و متنباز✦نمایه تحریریه
btcd
A Bitcoin full-node implementation written in Go.
☆ ۶٬۷۱۱ +۰ / 7dدیدن مدخل
eth-sri/securify2 یک مخزن عمومی GitHub است، با زبان اصلی Solidity. آخرین تصویر ذخیرهشده، ۶۳۵ ستاره و ۱۴۱ فورک را گزارش میکند. موضوعها: datalog, ethereum, امنیت, smart contract, solidity, static analysis. پیش از استفاده از نرمافزار، مستندات، مجوز و گزارشهای مشکل فعلی را بخوان.
Securify v2.0
محبوبیت از ستاره GitHub است. رشد ۷روزه به یک هفته ثبت محلی نیاز دارد. این رتبهبندی رسمی GitHub نیست.
مدخلهای واردشده منبع دارند. مدخل برای کشف است، نه تأیید.