infer--4--infer分析各种项目
2021/4/26 18:30:05
本文主要是介绍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--4--infer分析各种项目的文章就介绍到这儿,希望我们推荐的文章对大家有所帮助,也希望大家多多支持为之网!
- 2024-06-26结对编程到底难不难?答案在这里
- 2024-06-19《2023版Java工程师》课程升级公告
- 2024-06-15matplotlib作图不显示3D图,怎么办?
- 2024-06-1503-Loki 日志监控
- 2024-06-1504-让LLM理解知识 -Prompt
- 2024-06-05做软件测试需要懂代码吗?
- 2024-06-0514-ShardingSphere的分布式主键实现
- 2024-06-03为什么以及如何要进行架构设计权衡?
- 2024-05-31全网首发第二弹!软考2024年5月《软件设计师》真题+解析+答案!(11-20题)
- 2024-05-31全网首发!软考2024年5月《软件设计师》真题+解析+答案!(21-30题)