Microsoft Research เสนอโครงการวิจัย Checked C ที่พยายามหาทางสร้างส่วนขยายของภาษาซีเพื่อป้องกันบั๊กที่เกิดขึ้นบ่อยๆ ในภาษาซี เช่น การใช้บัฟเฟอร์เกินกำหนด, การเข้าถึงหน่วยความจำเกินขอบเขต, และการแปลงชนิดค่าตัวแปรผิดประเภท

ฟีเจอร์ป้องกันบั๊กเหล่านี้มีในภาษาสมัยใหม่แทบทั้งหมดแล้ว แต่ซอฟต์แวร์ระบบ (system software) ส่วนใหญ่ในโลกก็ยังคงเขียนด้วยภาษา C/C++ รวมถึงระบบปฏิบัติการ, ระบบฐานข้อมูล, หรือตัวแปลภาษาโปรแกรมส่วนใหญ่ บั๊กพื้นฐานเหล่านี้มีส่วนสำคัญต่อความเสถียรของระบบและช่องโหว่ของระบบ

Checked C มีโครงการหลักเป็นสเปคของภาษาที่ขยายขึ้นมาเพื่อเพิ่มฟีเจอร์ และคอมไพล์เลอร์ LLVM ที่รองรับฟีเจอร์เหล่านี้

ที่มา - Microsoft Research, The Register