Pointers are used by programmers to define memory addresses where their code will operate.
Existing system software can be modified incrementally in a backwards-compatible fashion to have this checking.
The Checked C project is available onGitHub.
For more information, you’ve got the option to also visit Microsoft Research pagehere.
source: www.techworm.net