如何用Clang发现内存泄漏

Question

我已经在我的机器（ubuntu）中安装了Clang，以便在我的C代码中查找内存泄漏。我写了一个示例代码来检查它的工作情况，如下所示：

/* File: hello.c for leak detection */
#include <stdio.h>
#include <stdlib.h>

void *x;

int main() {
  x = malloc(2);
  x = 0; // Memory leak
  return 0;
}

我在互联网上找到了一些编译选项

$ scan-build clang --analyze hello.c

和

$ scan-build clang -fsanitize=address hello.c

但它们都没有出现内存泄漏的迹象。

扫描构建：使用“/usr/bin/clang”进行静态分析
扫描构建：删除目录“/tmp/scan-build-2015-07-02-122717-16928-1”，因为它不包含报告
扫描构建：未发现错误。

任何人都可以告诉如何正确使用Clang进行内存泄漏检测。

Answer 1

有趣的是，如果您在main中声明void*x，clang静态分析器会发现内存泄漏：

int main() {
  void *x = malloc(2);
  x = 0; // Memory leak
  return 0;
}

通过运行以下命令来分析此代码:

scan-build clang -g hello.c

给出如下警告：

hello.c:9:3: warning: Potential leak of memory pointed to by 'x'
  return 0;
  ^~~~~~~~