If I understand it correctly CheckedC woods as an extension to the language, so you need CheckedC compiler to actually use it. I agree that SAL fits my descrip

If I understand it correctly CheckedC woods as an extension to the language, so you need CheckedC compiler to actually use it. I agree that SAL fits my description. Is it available outside of Windows? I've seen that someone wanted to add SAL support to clang [0], but decided against, because of Microsoft's patent on the thing [1]. Or than that it looks cool. Thanks for the pointer. [0] http://clang-developers.42468.n3.nabble.com/RFC-Starting-support-for-SAL-td3466171.html http://clang-developers.42468.n3.nabble.com/RFC-Starting-sup... [1] https://patents.google.com/patent/US20050076331A1/en?q=Source+code&q=annotation&oq=Source+code+annotation https://patents.google.com/patent/US20050076331A1/en?q=Sourc...