There is a specification: https://github.com/Microsoft/checkedc/releases/download/v0.7-final/checkedc-v0.7.pdf https://github.com/Microsoft/checkedc/releases/do

There is a specification: https://github.com/Microsoft/checkedc/releases/download/v0.7-final/checkedc-v0.7.pdf https://github.com/Microsoft/checkedc/releases/download/v0.7... We have been trying to publish a paper on this, perhaps one day we will be successful! Our runtime overhead is very good, and our interaction with the preprocessor is minimal.