facebook/infer静态扫描分析oc代码

最新推荐文章于 2024-04-29 12:16:23 发布
VIP文章 最新推荐文章于 2024-04-29 12:16:23 发布
阅读量3.1k 收藏 1
点赞数 2
分类专栏： 性能测试 测试工具 文章标签： infer facebook
版权声明：本文为博主原创文章，遵循 CC 4.0 BY-SA 版权协议，转载请附上原文出处链接和本声明。
本文链接：https://blog.csdn.net/tingxuan_qhm/article/details/50420425
版权 
最近在研究facebook的开源工具infer，它是一个静态扫描工具，可以分析 Objective-C， Java 或者 C 代码，我按照官方说明在本地进行了安装，遇到了很多环境的问题，把安装说明详细的记录下来，供大家参考。
**一、安装依赖**
需要安装如下依赖：

    - opam >= 1.2.0 
    - Python 2.7
    - Java (only needed for the Java analysis)
    - clang in Xcode command line tools. You can install them with the command：xcode-select --install
(only needed for the C/Objective-C analysis)
    -
最低0.47元/天 解锁文章
qiummm
关注
  • 2
    点赞
  • 踩
  • 1
    收藏
    觉得还不错? 一键收藏
  • 1
    评论
专栏目录
代码质量管理SonarQube实现Objective C静态代码扫描环境搭建总结
01-21
代码质量管理SonarQube实现Objective C静态代码扫描环境搭建总结
静态代码扫描解决方案之Facebook开源静态代码分析工具Infer学习
03-03 1236
简介 Infer是Facebook公司的一个开源的静态分析工具。Infer 可以分析 Objective-C， Java 或者 C 代码，用于发现潜在的问题。目前Facebook使用此工具分析Facebook的App，包括Android、iOS、Facebook Messenger和Instagram等。Infer更倾向于发现代码中的空指针异常、资源泄露以及内存泄漏的问题。 官网地址如下：https://infer.liaohuqiu.net/ Infer安装 安装准备（for mac） 官方手册
FaceBook/infer-分析OC文件
doctorq
06-13 2073
Hello World Cinfer -- clang -c <文件名> 分析过程信息：localhost:examples wuxian$ infer -- clang -c Hello.m Hello.m:4:1: warning: no 'assign', 'retain', or 'copy' attribute is specified - 'assign' is assum
infer的用法_使用 Infer 进行代码扫描
weixin_39882317的博客
12-21 529
概要Infer 是Facebook的一个开源代码扫描工具. 目前在移动端, Infer 是比较好用的一个检查空对象引用的静态扫描工具.安装如果使用 Mac 的话, 可以忽略 github 上的说明. 直接使用 brew安装brew install infer使用Android工程infer -- gradle buildiOS 工程前提是确保命令行可以编译通过xcodebuild -target ...
infer运用实践
weixin_30790841的博客
02-03 211
2016年上半年研究过一段时间infer，最难的是安装到ubuntu上各种依赖环境要解决，最后在公司的java代码上跑出来30多个可能存在空指针的代码段，并提交给研发处理。大部分提交都阵亡了，研发看了存在空指针可能的地方，告诉我代码确实会有空指针出现的可能，但是基于业务逻辑，是不会有问题的，由于鄙人对java不是很懂，难以识别代码，一股废了九牛二虎之力后，轻易的就消逝的感觉萦绕...
代码静态分析工具Infer实践
neven7的专栏
12-04 6407
0.背景静态代码分析可以提高代码质量和尽早的发现bugs，减少排查问题的时间。Infer是facebook开源的一款代码静态分析工具，现支持的语言有Java、Objective-C、C和C++; 对Android和Java代码可以发现null pointer exceptions和resource leaks等;对iOS、C和C++代码可以发现memory leak等。谁在使用，facebook、i
静态代码分析工具 Infer
weixin_33725722的博客
06-12 166
http://www.oschina.net/p/infer Infer 是 Facebook 最新开源的静态程序分析工具，用于在发布移动应用之前对代码进行分析，找出潜在的问题。目前 Facebook 使用该工具来分析 Facebook 的 App，包括 Android 、iOS、Facebook Messenger 和 Instagram 等等。Facebook 称该工具帮...
infer静态代码扫描不能执行问题定位
hqzhon的专栏
01-26 2258
什么是inferfacebook推出的静态代码检测工具，可以检测android和IOS应用的内存泄露和空指针问题。 官方文档 infer官方介绍 infer编译和安装方法 本文解决问题使用源码安装的整个过程没有报错，在执行的时候会出现这个错误： Failed to run InferAnalyze binary, exiting解决过程Google解决方案大部分反馈结果如下：About the
一个用于Objective-C静态检查的工具－occheck
zaitianaoxiang的专栏
11-15 3192
在Objc的MRC（手动引用计数）内存管理时, 使用引用计数来维护内存的回收，引用计数的错误常常导致内存泄漏。有一个很常见的错误就是一个retain的属性或成员没有在dealloc中释放。而这种错误用静态代码分析工具检测不出来。当代码写的很多时，一个类一个类的检查很麻烦，而且容易疏露。我写了一个自动检查这种错误的小工具（occheck）。另外这个工具还能检查代码中的高危函数。 使用方法：
一个用于Java, C, c++和Objective-C - facebook/infer的静态分析器
01-27
Infer is a static analysis tool for Java,C++, Objective-C, and C. Infer is written in .InstallationRead our GettingStarted page fordetails on how to install packaged versions of Infer. To build ...
Facebook静态代码分析工具Infer探索
01-08
静态代码分析可以分析或检查源程序的语法、结构、过程、接口等来检查程序的正确性，找出代码隐藏的错误和缺陷，如参数不匹配，有歧义的嵌套语句，错误的递归，非法计算，可能出现的空指针引用等。Infer是Facebook...
静态代码分析工具Infer.zip
07-17
Infer 是 Facebook 最新开源的静态程序分析工具，用于在发布移动应用之前对代码进行分析，找出潜在的问题。目前 Facebook 使用该工具来分析 Facebook 的 App，包括 Android 、iOS、Facebook Messenger 和 Instagram ...
iOS代码规范扫描工具脚本 Infer and oclint
05-17
支持OCLint和Info，Objective-C扫描
Infer 分析工具搭建_Linux
11-06
Infer 最早部署在 Facebook 内部，用于发布移动应用之前对每一行代码进行分析，目前 Facebook 使用此工具分析所开发的 Android、iOS 应用
Facebook的未来之旅：引领社交革命的先锋
LokiSan的博客
04-29 873
Facebook的未来之旅充满了无限的可能性。作为全球最大的社交网络平台之一，Facebook将继续发挥其引领者的作用，推动社交媒体的创新和发展。我们期待着未来，期待着看到Facebook在社交媒体领域的更多创新和突破，为用户带来更加丰富、更加便捷的社交体验。
node-v9.2.1-linux-x86.tar.xz
最新发布
05-06
Node.js，简称Node，是一个开源且跨平台的JavaScript运行时环境，它允许在浏览器外运行JavaScript代码。Node.js于2009年由Ryan Dahl创立，旨在创建高性能的Web服务器和网络应用程序。它基于Google Chrome的V8 JavaScript引擎，可以在Windows、Linux、Unix、Mac OS X等操作系统上运行。 Node.js的特点之一是事件驱动和非阻塞I/O模型，这使得它非常适合处理大量并发连接，从而在构建实时应用程序如在线游戏、聊天应用以及实时通讯服务时表现卓越。此外，Node.js使用了模块化的架构，通过npm（Node package manager，Node包管理器）,社区成员可以共享和复用代码，极大地促进了Node.js生态系统的发展和扩张。 Node.js不仅用于服务器端开发。随着技术的发展，它也被用于构建工具链、开发桌面应用程序、物联网设备等。Node.js能够处理文件系统、操作数据库、处理网络请求等，因此，开发者可以用JavaScript编写全栈应用程序，这一点大大提高了开发效率和便捷性。 在实践中，许多大型企业和组织已经采用Node.js作为其Web应用程序的开发平台，如Netflix、PayPal和Walmart等。它们利用Node.js提高了应用性能，简化了开发流程，并且能更快地响应市场需求。
node-v9.1.0-linux-s390x.tar.xz
05-06
Node.js，简称Node，是一个开源且跨平台的JavaScript运行时环境，它允许在浏览器外运行JavaScript代码。Node.js于2009年由Ryan Dahl创立，旨在创建高性能的Web服务器和网络应用程序。它基于Google Chrome的V8 JavaScript引擎，可以在Windows、Linux、Unix、Mac OS X等操作系统上运行。 Node.js的特点之一是事件驱动和非阻塞I/O模型，这使得它非常适合处理大量并发连接，从而在构建实时应用程序如在线游戏、聊天应用以及实时通讯服务时表现卓越。此外，Node.js使用了模块化的架构，通过npm（Node package manager，Node包管理器）,社区成员可以共享和复用代码，极大地促进了Node.js生态系统的发展和扩张。 Node.js不仅用于服务器端开发。随着技术的发展，它也被用于构建工具链、开发桌面应用程序、物联网设备等。Node.js能够处理文件系统、操作数据库、处理网络请求等，因此，开发者可以用JavaScript编写全栈应用程序，这一点大大提高了开发效率和便捷性。 在实践中，许多大型企业和组织已经采用Node.js作为其Web应用程序的开发平台，如Netflix、PayPal和Walmart等。它们利用Node.js提高了应用性能，简化了开发流程，并且能更快地响应市场需求。
2024年中国MXene行业研究报告.docx
05-06
2024年中国MXene行业研究报告
infer怎么分析用python.py进行编译的c++代码库
06-06
如果你的C++代码是通过Python脚本进行编译的，那么可以按照以下步骤使用Infer进行静态代码分析： 1. 确保你的C++代码能够被Python脚本正确编译： 在终端中进入到Python脚本所在目录，执行以下命令进行编译： ``` $ python compile.py ``` 如果编译成功，会在当前目录下生成相应的库文件（例如，`.so`文件或`.a`文件）。 2. 生成编译命令： 使用Infer分析C++代码需要生成编译命令。由于你的C++代码是通过Python脚本进行编译的，因此需要先生成Python脚本的编译命令，然后将其传递给Infer进行分析。 可以使用以下命令生成Python脚本的编译命令： ``` $ python compile.py --infer ``` 这样会输出Python脚本的编译命令，例如： ``` g++ -c -o foo.o -I./include foo.cpp g++ -c -o bar.o -I./include bar.cpp ar rcs libfoo.a foo.o bar.o ``` 将这些命令保存到一个文件中，以便下一步使用。 3. 使用Infer进行静态代码分析： 在终端中进入到C++代码所在目录，执行以下命令： ``` $ infer run --compilation-database /path/to/compile_commands.json ``` 其中，`/path/to/compile_commands.json`是上一步生成的编译命令文件。通过这个命令，Infer会对C++代码进行静态分析，并输出分析结果。 需要注意的是，`--compilation-database`参数用于指定编译命令文件，这个文件需要符合JSON Compilation Database格式。如果你使用的是Makefile进行编译，可以使用`infer -- make`命令进行分析，无需生成编译命令文件。

“相关推荐”对你有帮助么？

  • 非常没帮助
  • 没帮助
  • 一般
  • 有帮助
  • 非常有帮助
提交
评论 1
添加红包

请填写红包祝福语或标题

个

红包个数最小为10个

元

红包金额最低5元

当前余额3.43元 前往充值 >
需支付：10.00元
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付元
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明：

1.余额是钱包充值的虚拟货币，按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载，可以购买VIP、付费专栏及课程。

余额充值