Microsoft Research

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

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

Checked C มีโครงการหลักเป็นเว็บ e-commerce

ที่มา:  https://www.blognone.com