存在为C/C++设计的几种静态分析工具,但它们对于测试CUDA源并不是特别有用.

由于clang version 6能够编译CUDA,我想检查使用clang-tidy的选项,这似乎没有用于切换架构的选项.

有没有办法让它发挥作用？例如,用于打开CUDA解析器的编译时间开关,自定义检查形式的扩展,还是可能是计划的功能？

最佳答案 基于clang的工具的一个问题是它们没有以与clang完全相同的方式解析文件.

第一个问题是,与C/C++编译不同,CUDA编译多次编译源代码.默认情况下,clang会在您为其提供CUDA文件时创建多个编译作业,并且会使许多只需要一次编译的工具运行.为了解决这个问题,你需要将–cuda-host-only选项传递给clang-tidy.

您可能还需要将–cuda-path = / path /传递给/ your / CUDA / install / root,以便clang可以找到CUDA头文件.

您可能遇到的另一个问题与包含路径有关. Clang派生的工具没有相同的默认包含路径,这些路径本身会使用并且偶尔会导致奇怪的问题.至少需要找到与clang一起安装的__clang_cuda_runtime_wrapper.h.如果运行clang-tidy your-file.c – -v它将打印clang的参数并包含它使用的搜索路径.将其与clang -x c / dev / null -fsyntax-only -vprints进行比较.您可能需要提供铿锵有力的额外包含路径以匹配clang本身使用的路径.请注意,您不应在此处明确添加CUDA包含的路径.它将通过–cuda-path = ….自动添加到正确的位置.

一旦完成所有工作,clang-tidy应该可以处理CUDA文件.

像这样的东西：
clang-tidy your-file.cu – –cuda-host-only –cuda-path = … -isystem / clang / includes -isystem / extra / system / includes