Checked C Language
Checked C is a research project from Microsoft research that attempts to make the C programming language safer for developers. Checked C is implemented as a Clang compiler for Windows and Linux. It provides a series of extensions to the C programming language that make it safer to use pointers …