checkedc clang
Checked C clang 12.0.2 release
يحتوي هذا الريبو على إصدار من أدوات أدوات LLVM/Clang التي تم تعديلها لدعم C. checked C. تتوفر مواصفات C التي تم فحصها في صفحة إصدار C repo التي تم فحصها.
يمكنك تثبيت برنامج التحويل البرمجي C الذي تم فحصه وأداة 3C من صفحة إصدارات مشروع C LLVM المحددة. هناك إصدارات متاحة لـ Ubuntu 22.04 و Windows 10/11 و MacOS. دليل مستخدم برنامج التحويل البرمجي هنا. لمزيد من المعلومات حول Checked C و Pointers إلى رمز المثال ، راجع Checked C Wiki. إذا كنت ترغب في إنشاء نسختك الخاصة من برنامج التحويل البرمجي ، راجع الإرشادات الموجودة على Wiki التي تم فحصها C LLVM.
يمكنك استخدام clangd المدمج من هذا المستودع للحصول على دعم مماثل IDE لتحرير رمز C الفحص كما يوفر clangd في المنبع رمز C. على سبيل المثال ، يمكنك القفز إلى التعريف/المراجع والحصول على عرض في الوقت الفعلي للأخطاء والتحذيرات ، وما إلى ذلك. فيما يلي مزيد من المعلومات حول clangd Cheved C.
يتضمن هذا المستودع أداة تسمى 3C تعمل على أتمتة تحويل رمز C إلى التحقق C. روابط الوثائق السريعة:
معلومات عامة ، بما في ذلك حالة التطوير وكيفية المساهمة
بناء التعليمات
تعليمات الاستخدام لأداة سطر الأوامر 3c
لمزيد من المعلومات حول برنامج التحويل البرمجي C clang الذي تم فحصه ، راجع Wiki Checked C LLVM.
نرحب بالمساهمات في مشروع Cheded C. للمشاركة في المشروع ، راجع المساهمة في فحص C.
بالنسبة لمساهمات الكود ، نتبع سير عمل GitHub القياسي. انظر المساهمة في فحص C لمزيد من التفاصيل.
اعتمد هذا المشروع مدونة قواعد السلوك.
