回答情况：
提问时间：
问题标签：
哪个版本的VS2010具有用于原生c++的PreFast静态代码分析器？我已经下载了VS2010旗舰版试用版，希望它能包含所有的功能，但找不到内置的PreFast。我尝试链接VS2010，用WDK的PreFast设置目录，并在命令行附加选项中添加"/analyze“，但无法获得结果。
浏览 1修改于2011-09-21得票数 2
回答已采纳
但是，如果我尝试运行PREfast，就会收到大量警告，因为PREfast没有意识到get()方法初始化了给定的参数。].type = 1234; // PREfastcomplains that value is uninitialized (error C6001)
printf("%d", value
浏览 3修改于2012-10-21得票数 2
pInput) { classA::Create(pInput);}
问题是，因为Prefast我想知道是否有一个很好的替代方法，可以在代码中到处使用__analysis_assume，这样prefast就可以从函数定义中提取它。
浏览 0修改于2011-09-21得票数 0
回答已采纳
我有一个可变函数：{}int print_n_integers ( ...Visual Studio至少有一
浏览 0修改于2015-06-13得票数 3
我正在使用PREFast检查为Windows7构建的一些驱动程序代码。PREfast帮助说明：“在调用函数时，程序在调用函数之前必须获取的资源未被获取。因此，函数调用将失败。”
浏览 0提问于2013-01-12得票数 0
回答已采纳
在现有项目中启用PREfast静态分析检查会产生以下许多实例：
C:\Program Files (x86)\Windows Kits\10\include\10.0.18362.0\um\WindowsNumerics.inl这使我们无法在winrt项目上启用PREfast，而无需在代码中添加特定的抑制作为解决方案。我们应该期望winrt头通过这些检查吗？这会在将来的发行版中得到解决吗？
浏览 5提问于2021-12-27得票数 1
id=1 do $PREFASTcat $TMP_FILE$i >> $TMP_FILE done
$PREFASTvar for ((j=1; j<=$cpu; j++)
浏览 0修改于2019-01-24得票数 -2
回答已采纳
1回答
我在我的项目上运行PREfast静态代码分析，它给了我这个模式的C6001 'using uninitialized memory‘错误：
// AutoSelectGDIObject is a classPREfast错了吗？还是有什么微妙的地方使得我上面的代码和假设是不正确的？
浏览 2修改于2013-04-17得票数 2
回答已采纳
到目前为止一切都进行得很顺利，但prefast一直告诉我，我正在搞砸IRQL的水平。特别是当我试图锁定/解锁共享缓冲区时。Prefast告诉我，我没有正确地恢复IRQL级别。当我注释掉锁/清除/解锁/完成代码时，prefast又很高兴了。我已经升级到VS2015和WDK10+SDK10了。我注意到_Acquires_lock_和_Requires_lock_not_held_中定义为nothing，因此我查看了它们，并注意到它们需要定义_PREFAST_才能工作。因此，我将
浏览 16修改于2016-05-17得票数 6
回答已采纳
NULL == p)}
{}}
void abort_function() exit(0);#endif
这也消除了警告，但是有没有什么PREFast
浏览 0修改于2012-06-14得票数 4
回答已采纳
为c/c++编译添加了额外的选项
我认为这些步骤应该已经设置了适当的编译器来使用prefast进行静态分析。此设置实际上适用于Visual 2005。但是，它不适用于Visual 2008。
浏览 6修改于2011-09-21得票数 7
回答已采纳
extern NF3D_API CRITICAL_SECTION CriticalSection;
{#pragma prefast(Acquires_lock_(CriticalSection) NF3DLock(void) { EnterCriticalSection(&CriticalSection); }
#pragma prefast
浏览 2修改于2015-10-17得票数 0
回答已采纳
LogFile="%OUTPUTFILE%" /p:Configuration=%BUILDCONFIG% /p:RunCodeAnalysis=True
让/p:RunCodeAnalysis=True为本机(PREfast
浏览 3修改于2014-11-10得票数 0
我在PREfast和staticdv代码检查器中运行它，两者都没有错误。(我收到了一些关于“调度函数'FooFnc‘没有任何__drv_dispatchType注释”的警告-这些可能是问题所在吗？)
浏览 1提问于2011-06-02得票数 0
回答已采纳
Microsoft.VisualStudio.VCProjectEngine.VCCLCompilerTool)
sb.Append("Current project PREfast
浏览 3修改于2015-12-04得票数 0
. // potential use of NULL pSD
浏览 5修改于2021-12-13得票数 1
回答已采纳
但是我在我的项目中还面临其他问题
c1 : fatal error C1252: Circular or missing dependency between plugins: 'PREfast
浏览 10修改于2021-10-22得票数 3
腾讯云开发者
Copyright © 2013 - 2026 Tencent Cloud. All Rights Reserved. 腾讯云 版权所有
深圳市腾讯计算机系统有限公司 ICP备案/许可证号：粤B2-20090059 
粤公网安备44030502008569号
腾讯云计算（北京）有限责任公司 京ICP证150476号 | 京ICP备11018762号