
https://github.com/Microsoft/checkedcChecked C is an extension to C that adds static and dynamic checking to detect or prevent common programming errors such as buffer overruns, out-of-bounds memory accesses, and incorrect type casts. This repo contains the specification for the extension, test code, and samples.
http://news.softpedia.com/news/microsof ... 5331.shtml