This greatly lacks an overview as the specification[1] is very in-depth.
I kind of wonder if they're working on automatic conversion tools between C and checked C.
At least for ptr<> this should be trivial. If a function does no pointer arithmetic with a * pointer and only uses it in function calls that take ptr<>, can be converted to a function taking a ptr<>.
I kind of wonder if they're working on automatic conversion tools between C and checked C. At least for ptr<> this should be trivial. If a function does no pointer arithmetic with a * pointer and only uses it in function calls that take ptr<>, can be converted to a function taking a ptr<>.
[1] https://github.com/Microsoft/checkedc/releases/download/v0.5...