Continue reading "CheckedC: A Language Extension to Help Eliminate Memory Errors"
CheckedC: A Language Extension to Help Eliminate Memory Errors
Checked C is a research project from Microsoft which adds static and dynamic (runtime) checking for errors such as buffer overruns, out-of-bounds memory accesses, and incorrect type casts. The project is implemented as an extension to the C language. New pointer and array types are provided with the goal of allowing programmers to better describe …