如何在 Parasoft C++test 中将函数标记为非返回？

Question

我们有一个 die 函数，它输出错误消息并退出，例如：

void die(const char* msg) {
    fprintf(stderr, "Error: %s\n", msg);
    exit(1);
}

我们使用 Parasoft C++test 静态分析我们的代码，但它没有意识到 die 是一个非返回函数。因此，当它看到如下代码时：

void foo(Bar* bar) {
    if(!bar) {
        die("bar is NULL");
    }
    Bar bar2 = *bar;
}

它会警告 *bar 可能会取消引用空指针，即使 bar 为 NULL 会阻止该行执行。有没有办法以 Parasoft 能够识别的方式将 die 标记为不返回？

---

编辑：我需要一些可以在 GCC 和 VS 2003 中工作的东西，但如果有人有一个只能在VS

Answer 1

我想通了。事实证明，Parasoft 有一个内置的 NRF 列表，您可以自定义；它们被称为“终止函数”。 运行 Parasoft，则可以通过 VS GUI 或配置文件来编辑它们

如果您在 VS 之外通过 Visual Studio

• 从 C++test 菜单中打开 Test Configurations 对话框
• 选择您的配置
• 选择Static 选项卡
• 选择BugDetective Options 子选项卡

• 选择Terminators 子选项卡

  窗口截图 http://so.mrozekma.com/parasoft1.png

• 添加具有非返回函数名称的新条目

  条目截图 http://so.mrozekma.com/parasoft2.png

通过配置文件

添加如下行：

com.parasoft.xtest.checker.flowanalysis.terminators.api0.methods=active\=true|name\=die|type\=*|paramsn\=*|defsInSubClasses\=true;
com.parasoft.xtest.checker.flowanalysis.terminators.apis=active\=true|name\=foo;

Answer 2

在 gcc 中，您应该为该函数添加如下属性：

     die (const char *, ...) 
          __attribute__ ((format_arg (1)))
          __attribute__ ((noreturn))

Answer 3

如果您使用的是 Visual Studio 2005+，则可以使用 __declspec(noreturn) 像这样：

__declspec(noreturn) void die(char const* msg){
  fprntf(stderr, "Error: %s\n"; msg);
  exit(1);
}

也许这有助于 Parasoft 将该函数识别为非返回函数。
编辑： GCC 有 __attribute__((noreturn))（第一个示例）。