أدوات تطوير ومصدر مفتوح

eth-sri/securify2

مستودع GitHub عام، ولغته الأساسية Solidity.

إدراج مستورد
01 / ماذا يقدم

ماذا يقدم

eth-sri/securify2 مستودع GitHub عام، ولغته الأساسية Solidity. تُظهر آخر لقطة محفوظة ٦٣٥ نجمة و١٤١ نسخة متفرعة (fork). المواضيع: datalog, ethereum, الأمان, smart contract, solidity, static analysis. اقرأ الوثائق والترخيص والمشكلات المفتوحة الحالية قبل استخدام البرنامج.

Securify v2.0

وصف المشروع الأصلي · GitHub
02 / GITHUB

مستودعات GitHub

نجوم
٦٣٥
نجوم مكتسبة · 7 أيام
—
تفريعات
١٤١
لغة البرمجة الرئيسية
Solidity
ترخيص المستودع
Apache-2.0
آخر دفع للشيفرة
٢٥ مايو ٢٠٢٥ م

الشعبية حسب نجوم GitHub. يظهر نمو الأسبوع بعد أسبوع كامل من اللقطات المحلية؛ هذا فهرسنا وليس ترتيب GitHub الرسمي.

المصادر وحداثة البيانات

المصادر وحداثة البيانات

GitHub ↗تحديث المصدر · ١٥ أكتوبر ٢٠٢٦ م

الإدراجات المستوردة توثّق مصادرها. تساعد على الاكتشاف ولا تعني توصية.

بحث في 1Bitcoin

الأدوات والأدلة

إدراجات الدليل