You may be interested by https://www.microsoft.com/en-us/research/project/checked-c/