– MSDN, Visual Studio 2010 documentation. (Describes /analyze , SAL, and checks for buffer overruns, uninitialized memory, etc.)
int main() BlogPostManager blogPostManager; visual c 2010 verified
