c++ - PC Lint 并检查可能的 nullptr

Question

我的 PC Lint V9.00k 在一个非常简单的情况下保持沉默，即使在 -w3 上我也会收到警告。有谁知道是否有一些设置可以让 Lint 检查这种情况？

int* fp() { return 0; }
void f()
{
      int* p = fp();
      *p = 2; // I would expect something like "Issue 613: (Warning -- Possible use of null pointer..." here
}

Answer 1

对于值跟踪，PC-lint 需要多次处理代码。即您需要在配置中至少使用-passes(2)。