Didn't recognise SAL - assuming it is source annotation language: https://www.cs.cmu.edu/~fp/courses/15122-f10/lectures/25-sal.pdf https://www.cs.cmu.edu/~fp/c

Didn't recognise SAL - assuming it is source annotation language: https://www.cs.cmu.edu/~fp/courses/15122-f10/lectures/25-sal.pdf https://www.cs.cmu.edu/~fp/courses/15122-f10/lectures/25-sal... It looks like this can be used: https://msdn.microsoft.com/en-us/library/ms182032(v=vs.110).aspx https://msdn.microsoft.com/en-us/library/ms182032(v=vs.110)....