哪里有一个关于PREfast问题的好地方?

时间:2013-04-17 17:43:47

标签: c++ visual-studio static-analysis prefast

哪里有一个关于PREfast问题的好地方?

显然,PREfast存在局限性 - 有些看似愚蠢:

  • 它无法将CString识别为const TCHAR *二进制兼容)。
  • 它无法理解if (FooClass const & foo = FooClass(args))确实初始化了foo ..
  • 它抱怨shlobj.h中的ILIsChild()(应该更正@ microsoft)
  • 要求检查_setmode的返回,但是_setmode的文档表明它为错误调用了无效的参数处理程序,并返回其先前的模式(完全没用来检查!)
  • 使用DEVNAMES结构时错误地指示字符数和字节数不匹配(例如wDriverOffset - 记录为字符数 - 因此不匹配)

不确定有人在讨论使用PREfast&它的错误和变通?

0 个答案:

没有答案