There have been attempts to do so. One ongoing project that looks promising is CheckedC: https://github.com/Microsoft/checkedc https://github.com/Microsoft/ch

There have been attempts to do so. One ongoing project that looks promising is CheckedC: https://github.com/Microsoft/checkedc https://github.com/Microsoft/checkedc https://github.com/Microsoft/checkedc/releases/download/v0.6-final/checkedc-v0.6.pdf https://github.com/Microsoft/checkedc/releases/download/v0.6... https://www.microsoft.com/en-us/research/project/checked-c/ https://www.microsoft.com/en-us/research/project/checked-c/