Checked C هي تمديد للغة C يسمح للمبرمجين بكتابة رمز C مضمون من قبل المترجم أنه آمن من ناحية النوع. الهدف هو السماح للأشخاص بجعل رموزهم الحالية في C آمنة من ناحية النوع بسهولة والتخلص من فئات بأكملها من الأخطاء. لا تتناول Checked C أخطاء الاستخدام بعد الإطلاق. يحتوي هذا المستودع على ويكي لـ Checked C، ورموز عينة، والمواصفات، ورموز الاختبار.
تم إنشاء Checked C بواسطة David Tarditi ويتمتع بدعم من Microsoft Research. تم إصدارها لأول مرة في عام 2015 وكانت أول مدخل في مستودع GitHub في عام 2016. تعتمد Checked C على المجتمع البحثي والتنمية التقنية في Microsoft Research.
يمكن العثور على معلومات إضافية حول Checked C والتوجيهات لاستخدامها على الموقع الرسمي لمشروع Checked C على موقع Microsoft Research: موقع Checked C.
يتضمن مستودع GitHub لـ Checked C عينات من الرموز، والمواصفات، ورموز الاختبار، بالإضافة إلى قضايا مفتوحة وموضوعات أخرى ذات صلة. يمكن الوصول إلى المستودع عبر هذا الرابط: مستودع Checked C على GitHub.
باستخدام Checked C، يمكن للمطورين تحسين أمان البرامج وتقليل فرص الأخطاء الناتجة عن أخطاء النوع في رموز C الخاصة بهم.