http://blogs.msdn.com/b/sdl/archive/2009/06/11/a-declspec-sal-to-attribute-sal-rosetta-stone.aspxHi, Michael here. A while back I wrote a blog post explaining the Standard Annotation Language (SAL) which is a technology we use to help static analysis tools find more bugs, including security vulnerabilities, in C and C++ code. If you look closelyen-USTelligent Evolution Platform Developer Build (Build: 5.6.50428.7875)http://blogs.msdn.com/b/sdl/archive/2009/06/11/a-declspec-sal-to-attribute-sal-rosetta-stone.aspx#10373549Fri, 30 Nov 2012 16:51:31 GMT91d46819-8472-40ad-a661-2c78acb4018c:10373549SecureCoder<p>Which header is needed for attributed SAL?</p> <div style="clear:both;"></div><img src="http://blogs.msdn.com/aggbug.aspx?PostID=10373549" width="1" height="1">http://blogs.msdn.com/b/sdl/archive/2009/06/11/a-declspec-sal-to-attribute-sal-rosetta-stone.aspx#10174928Wed, 15 Jun 2011 16:55:27 GMT91d46819-8472-40ad-a661-2c78acb4018c:10174928Michael Howard<p>Melanie - you really shouldn&#39;t use __nullterminated directory, rather stick with high-level macros that use the _z suffix, same with the new macros - use those with _z_ - they use the _$maybenull primitive (which you should not use directly :)</p> <div style="clear:both;"></div><img src="http://blogs.msdn.com/aggbug.aspx?PostID=10174928" width="1" height="1">http://blogs.msdn.com/b/sdl/archive/2009/06/11/a-declspec-sal-to-attribute-sal-rosetta-stone.aspx#10172999Thu, 09 Jun 2011 16:46:54 GMT91d46819-8472-40ad-a661-2c78acb4018c:10172999Melanie<p>The old declspec syntax shows __nullterminated on a typedef. Is there an equivalent way to do this in the attribute syntax? Thanks!</p> <div style="clear:both;"></div><img src="http://blogs.msdn.com/aggbug.aspx?PostID=10172999" width="1" height="1">http://blogs.msdn.com/b/sdl/archive/2009/06/11/a-declspec-sal-to-attribute-sal-rosetta-stone.aspx#9728435Fri, 12 Jun 2009 03:59:35 GMT91d46819-8472-40ad-a661-2c78acb4018c:9728435The old rediscovered and the new Microsoft .Net contracts &laquo; C# Hacker - The Rambling Coder<p>PingBack from <a rel="nofollow" target="_new" href="http://www.csharphacker.com/technicalblog/index.php/2009/06/10/the-old-rediscovered-and-the-new-microsoft-net-contracts/">http://www.csharphacker.com/technicalblog/index.php/2009/06/10/the-old-rediscovered-and-the-new-microsoft-net-contracts/</a></p> <img src="http://blogs.msdn.com/aggbug.aspx?PostID=9728435" width="1" height="1">