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