5 ms·
Is there a whitepaper associated with this? I found the project page and the github page, but I want to see: a) What's involved in getting the C code to be 'sa
by staticassertion 9y ago
Is there a whitepaper associated with this? I found the project page and the github page, but I want to see:
a) What's involved in getting the C code to be 'safe' - how much annotation overhead, etc
b) How this interacts with C Preprocessor
c) What the runtime overhead is (usually the killer)
- munin 9y agoThere 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.
- staticassertion 9y agoWonderful, thank you for the link.