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