使用facebook的infer检查Android代码缺陷

最新推荐文章于 2021-08-16 11:29:40 发布

张云飞VIR

最新推荐文章于 2021-08-16 11:29:40 发布

阅读量203

点赞数

本文链接：https://blog.csdn.net/vir56k/article/details/105113280

版权

背景

Infer 是一个静态分析工具，它能在 Android 和 iOS 的编译过程中今夕代码分析，发现缺陷。使用起来也很简单方便。

什么是 Infer？

Facebook 的 Infer 是一个静态分析工具。Infer 可以分析 Objective-C， Java 或者 C 代码，报告潜在的问题。

任何人都可以使用 Infer 检测应用，这可以将那些严重的 bug 扼杀在发布之前，同时防止应用崩溃和性能低下。

Infer 是一个静态程序分析工具,可以对 Java、C 和 Objective-C 程序进行分析，此工具是用 OCaml 写成的。

Infer 最早部署在 Facebook 内部，用于发布移动应用之前对每一行代码进行分析，目前 Facebook 使用此工具分析所开发的 Android、iOS 应用,包括 Facebook Messenger、Instagram 和其他一些应用。 Infer 不仅仅用于移动应用程序的分析，还可以分析 C、Java 等不是 Android 系统的代码。目前 Infer 着重于发现一些诸如空指针的访问、资源和内存的泄露等导致手机程序崩溃或性能严重下降的问题。

官网地址：https://infer.liaohuqiu.net

开始使用

1.下载地址

https://github.com/facebook/infer/releases/

下载完成后时个压缩包，解压后放到磁盘某个位置，记下路径。

2.配置到环境变量

将上一步的路径（可执行文件所在的路径）配置到环境变量

  export PATH="PATH:xxxxxx/infer/infer/bin"

我的是mac系统，要修改~/.bash_profile
完成后在控制台执行 infer ，可能看到如下：

yunfeideMacBook-Pro:bin zhangyunfei$ infer --version
Infer version v0.15.0
Copyright 2009 - present Facebook. All Rights Reserved.

为了演示，准备一个错误的例子

以下是一个的 Java 例子，可以看到 s 是个空引用。

  // Hello.java
  class Hello {
    int test() {
      String s = null;
      return s.length();
    }
  }

3.执行缺陷检查，检查Android工程

infer -- ./gradlew build

这里执行了 gradle 的构建，不过它以 infer 开头的指令，在构建过程中 infer 会捕获并进行缺陷检查。

4.查看检查报告

image.png

可以看到上图中的红字部分了指示了可能的代码缺陷。

Infer 的工作机制

1. 捕获阶段

Infer 捕获编译命令，将文件翻译成 Infer 内部的中间语言。

这种翻译和编译类似，Infer 从编译过程获取信息，并进行翻译。这就是我们调用 Infer 时带上一个编译命令的原因了，比如: infer -- clang -c file.c, infer -- javac File.java。结果就是文件照常编译，同时被 Infer 翻译成中间语言，留作第二阶段处理。特别注意的就是，如果没有文件被编译，那么也没有任何文件会被分析。

Infer 把中间文件存储在结果文件夹中，一般来说，这个文件夹会在运行 infer 的目录下创建，命名是 infer-out/。当然，你也可以通过 -o 选项来自定义文件夹名字：