infer—— 一款功能强大的App静态分析工具

前言

代码静态检查是静态软件测试的重要部分，能够在代码未运行的情况下发现多达30%至70%的代码缺陷，从而确保软件的稳定性。常用的代码检查工具包括OCLint、Klocwork和Xcode中的Analyze。此外，推荐一款强大的静态分析工具——infer，专为App开发设计。

Infer概述

infer是由Facebook开源的用OCaml语言编写的静态程序分析工具。支持Java、C/C++、Object-C等语言，能在安卓和iOS开发中检测出空指针异常、资源和内存泄漏等问题，从而避免App崩溃，提升App稳定性。在实际项目中，infer有助于发现并解决通常难以捕获和定位的内存泄漏导致的崩溃问题。

infer安装方法

源码安装

用户可以从GitHub上的infer项目下载源码，并按照根目录下的INSTALL.md文件中介绍的方法在Mac OS和Linux环境下编译安装，但官方推荐使用发布的可执行程序安装。

可执行程序安装

通过访问infer发布页面下载对应的可执行文件并解压。建议将bin目录添加到PATH环境变量中以方便使用。安装成功可通过命令infer --version查看版本信息。

infer使用

infer支持对单个文件或整个工程文件进行扫描。例如，在iOS开发中，可以使用命令infer run -- clang -c Hello.m来扫描单个文件，或者对整个工程进行扫描。扫描结果将保存在新生成的infer-out目录下。

infer结果分析

扫描报告中详细列出了问题、错误类型、文件路径、行数、变量名和错误描述，方便开发人员逐一解决。infer还可以集成到Jenkins中，对代码提交进行全量或增量扫描，以更快更方便地发现问题。

使用infer不仅有助于提高个人开发水平，也能显著增强产品的稳定性和健壮性。对此感兴趣的朋友可以进一步了解和尝试。

想要了解更多内容？

查看原文：infer—— 一款功能强大的App静态分析工具

文章来源：

程序员华仔

扫码关注公众号