其他分享
首页 > 其他分享> > infer--4--infer分析各种项目

infer--4--infer分析各种项目

作者:互联网

infer--4--infer分析各种项目

当使用 Infer 分析文件时,你可以使用 javac 或者 clang 编译器,当然你也可以使用 gcc。但在 Infer 内部会使用 clang 去编译你的代码。所以如果你的代码无法用 clang 编译的话,可能无法使用 Infer。

除此之外,你还可以和其他许多编译系统一起使用 Infer。注意一点,你可以通过并行编译命令来加快 Infer 的运行检测,比如:infer -- make -j8

如果你想分析整个项目的话,分析之前,记得清理项目。这样编译器才会重新编译所有文件,Infer 才会分析这些编译的文件(具体看 这个章节)。

以下是 Infer 目前支持的编译系统。对于某个特定的系统,你可以通过 infer --help -- <build system> 了解更多具体的信息。比如: infer --help -- gradle

Gradle

infer -- gradle <gradle task, e.g. "build">
infer -- ./gradlew <gradle task, e.g. "build">

Buck

infer -- buck <buck target>

Maven

infer -- mvn <maven target>

Xcodebuild

Infer 可是分析使用 xcodebuild 构建的应用,但是只分析 .m.c 文件,其他的文件,比如:.cpp.cc.mm 文件会被忽略。

比如一个 iOS 应用:

infer -- xcodebuild -target <target name> -configuration <build configuration> -sdk iphonesimulator

Make

Infer 可以分析使用 make 构建的项目,项目中的 C++ 文件会被忽略。

   infer -- make <make target>

标签:分析,文件,项目,--,infer,编译,Infer
来源: https://www.cnblogs.com/Sna1lGo/p/14705643.html