Noting that there is little explanation in the repo, you can visit 1 and 2 if you're unfamiliar with Checked C and its history.

1. https://www.microsoft.com/en-us/research/project/checked-c/

2. https://github.com/microsoft/checkedc