问题标签 [facebook-infer]

如文档中所述，我尝试运行

在我的 Maven 项目中。它抱怨为

我错过了什么吗？

我知道官方文档只提到了 Mac 和 Linux 选项，但我在 Cygwin 上尝试了 Android 示例。总是得到以下错误： C:\Python27\python.exe: can't open file '/cygdrive/c/Users/Tung/infer-linux64-v0.1.0/infer/infer/bin/infer':

我错过了什么吗？有人在这方面取得成功吗？谢谢

我使用 Facebook 的 Infer 检查我的 android 代码

我正在尝试使用 Infer 工具来分析我的应用程序代码。我按照这些步骤操作，每次尝试运行时都会出现infer -- gradle build以下错误：

任何想法将不胜感激！

我使用 facebook infer 来检测我的 Android 项目中的错误。它发现一些错误但不是错误。

推断报告错误

NullPointerException 将被 try...catch... 捕获，因此它不是错误。如何告诉 infer 不报错或忽略这一行的检查？

我最近在我的工作笔记本电脑上更新了 facebook infer，并试图在我的个人笔记本电脑上更新 infer。它在我的工作笔记本电脑上安装没有问题，但在我的个人笔记本电脑上出现错误（见下文）。两者都安装了 opam 1.2.2 和 ocaml 4.03.0。如果我执行opam init --comp=VERSION，我会看到所有内容都是最新的。任何想法为什么brew install infer会失败？

我的工作笔记本电脑使用的是 OS X El Capitan 版本 10.11.6，而我的个人笔记本电脑使用的是 macOS Sierra 版本 10.12。

https://github.com/facebook/infer/issues/467

我正在使用以下命令在 Xcode 工作区上运行推断：

代码构建成功。但之后我得到：

......其中很多......然后......

我已经被这个问题困扰了一段时间，我已经阅读了一些关于如何实现 inputStream 变量及其生命周期的教程和文档，但是我再次遇到了同样的错误，标记为“推断”来自 facebook 的静态分析器，这表明我有一个问题：此代码中的RESOURCE_LEAK ：

描述错误是：

java.io.FileOutputStream错误：在第 494 行调用获取的RESOURCE_LEAK 资源类型FileOutputStream(...)在第 499 行之后未释放。

但是我在 finally 块中释放它，这是一个错误的错误警报？或者我错过了什么？因为我已经有一段时间了，我不知道错误在哪里。

我非常感谢您的帮助和支持。

我正在尝试安装 Infer，这是 Facebook 开发的静态分析工具。我尝试在此链接上遵循 Mac 教程：https ://fbinfer.com/docs/getting-started/ 。我使用了“brew install infer”命令，但是，我不断收到以下错误：

我不知道我做错了什么，因为我只是按照说明进行操作。请帮忙！谢谢