PREFast for Drivers

✍ dations ◷ 2025-10-14 10:56:54 #Microsoft Visual Studio,驱动程序,调试

PREfast(Prefast.exe)是微软公司为驱动程序设计所提供的静态的源代码分析工具(static source code analysis tool),可侦测原始代码中不易用一般编译器找到的特定类型错误,与Windows DDK建置环境一同安装。目前已集成至Visual Studio 2005 Team Suite中,使用时只要设置‘Enable Code Analysis For C/C++’为‘Yes’即可,接下来PREfast会拦截cl编译器 (cl.exe) 的调用,产生由一次检查所有文件所得的单一联合清单,内容属于XML格式。

侦测错误类别:

相关

  • 540110 数学 120 信息科学与系统科学 130 力学 140 物理学 150 化学 160 天文学 170 地球科学 180 生物学210 农学 220 林学 230 畜牧、兽医科学 240 水产学310 
  • 科威特中华民国与科威特关系是指中华民国与科威特国之间的关系。两国于1963-1971年有官方外交关系,断交后,中华民国于首都科威特市设有具大使馆性质的代表机构。1963年11月21日,两国建
  • 手抄本手抄本指的是用人手抄写而非用印刷制成的书籍。英文“manuscript”一词可以指“手抄本”或文本原作者付梓的“原稿、手稿”,但中文“手抄本”一词通常只指称以手抄方法代替印
  • 上空解放上空解放(英语:Topfreedom)是一种由女性主导的文化或社会运动,目的是要求承认女性具有和男性相同,在公众场所裸露上半身的平等权利。同时,它也鼓吹将女性在公众场所哺乳的行为合法
  • 贝特公式贝特公式描述了 带电粒子(质子, α {\displaystyle \alpha } (整数,单位为基本电荷),能量为的带电粒子,在电子数密度为,平均激发能为的材料中
  • EXO音乐作品列表EXO音乐作品列表主要列举韩国男子团体EXO历年发行的各类音乐专辑、影视歌曲、广告歌曲及相关DVD作品。《EXO'S FIRST BOX 》4DVD+1耳机线《EXO'S SECOND BOX 》4DVD《EXO DO
  • 陈加命陈加命(?-?),河南杞县人。明朝解元、政治人物。明世宗嘉靖三十四年(1555年),陈加命中式乙卯科河南乡试第一名举人(解元)。
  • 金钱游戏 (韩国电视剧)2020年1月15日 (2020-01-15)-2020年3月5日 (2020-03-05)《金钱游戏》(韩语:머니게임,英语:Money Game),为韩国tvN于2020年1月15日起播出的水木连续剧,由《春天来了,春天》的金相浩
  • 李粲李粲可以是下列人物:
  • 孔继勋孔继勋(1792年-1842年),字炽亭,广东南海县人,祖籍山东曲阜,清朝翰林、藏书家。孔继勋为孔子六十九代孙,其先于宋代迁到岭南,元代定居南海县。孔继勋故刻有“天南圣裔”印章。道光十三