http://blogs.msdn.com/martynl/archive/2005/10/10/479332.aspxLast time I talked about how we used template overloads to help automatically transform safe calls to strcpy into strcpy_s. But not all calls to strcpy are safe, of course. Consider this code: void GetIntegratedCutlery(char *out) { strcpy(out, “spork”);en-USCommunityServer 2.1 SP1 (Build: 61025.2)http://blogs.msdn.com/martynl/archive/2005/10/10/479332.aspx#487587Tue, 01 Nov 2005 09:57:14 GMT91d46819-8472-40ad-a661-2c78acb4018c:487587asdfAnnotations sound similar to custom qualifiers (<a rel="nofollow" target="_new" href="http://www.cs.umd.edu/~jfoster/cqual/">http://www.cs.umd.edu/~jfoster/cqual/</a> or <a rel="nofollow" target="_new" href="http://www.cs.berkeley.edu/~dsw/oink.html">http://www.cs.berkeley.edu/~dsw/oink.html</a>) but more flexible. What I'm wondering is how it interacts with the type system, for example: <br> <br>void foo(__in_z char*, char*); <br> <br>void (*a)(__in_z char*, char*) = foo; <br>void (*b)(char*, char*) = foo; <br>void (*c)(__in_z char*, __in_z char*) = foo; <br> <br>Are any of those 3 lines valid like I imagine they are?