静待大神分析源代码实例

#1 楼 @a00ium 有点困难啊，OCaml 语言没接触过啊

歪个楼
前两天下了个 Facebook，注册账号没成功，然后就没管了，昨天手机提示容量不够了，我一看 Facebook 的大小一下子变成 2.9G 了！过了小半天又一看 3.1G！然后赶紧删了。

#3 楼 @face_south ....

牛 B！貌似很强大! 貌似比 sonar 好用很多而且更强大!！把玩一下！

#5 楼 @testly 报告的形式没有 sonar 强大，看 facebook 怎么搞下去吧

build 的速度很慢，花费了有两个多小时

#7 楼 @noshuai build 啥

#8 楼 @doctorq build 被测代码的时间。

#9 楼 @noshuai iOS 还是 Android?你的项目大概多少个文件，多少行代码

#9 楼 @noshuai 额。。。两个小时。。。。

#11 楼 @monkey 这个要看代码量

#12 楼 @doctorq 额。。话虽如此。。。但无线的东西不太可能

#13 楼 @monkey 所以要论证一下，到底是慢在哪，对其有更好的了解.

#14 楼 @doctorq 等回复

iOS 1800 左右个文件，不加 infer，正常构建用时 6 分。

#16 楼 @noshuai 嗯，谢谢，作为一个数据.说明 infer 的效率可能是个问题.

我 Facebook 的 ID 都忘记了没得搞了

2 楼这个是你自己翻译的？求 Mac 安卓环境下载我得不行了

#19 楼 @huchao2307 不需要 facebook id,安卓环境下载，什么意思？直接升级到 22 就可以了。

刚出来相关资料有点少、谢谢大牛分享

我之前很少的了解过这方面的资料，有些疑问：
1.大部分程序员开发环境为 windows
2.直接做单元测试了，用这个的价值在哪里？

#22 楼 @284772894

• 大部分程序员开发环境为 windows?这一观点我不认同啊。用 windows 的原因是因为公司不舍得给你购置 Mac。就算不给你购置 Mac，linux 的环境 也不难吧。而且这种问题你应该问 facebook，你为什么不给我弄 windows。
• 你了解下 sonar 就知道它的价值在哪

你的问题都是抽象问题，总结起来就是：我为什么要用 infer，其实这个原因我也不知道。我只从技术角度看问题，不从宏观的角度看问题。

如何更新呢

centOS 下二进制安装，一直没有安装成功，有详细点的文档吗

Failed to run InferAnalyze binary, exiting

Failed to run InferAnalyze binary, exiting

使用源码安装的整个过程没有报错，在执行的时候也出现这个错误：

Failed to run InferAnalyze binary, exiting

Google 解决方案大部分反馈结果如下：

About the "Failed to run InferAnalyze binary, exiting" error, you have to compile the binaries of Infer first, please follow the instructions here.

上面的结果让我们先编译 infer 二进制源码，很奇怪，我们其实进行源码安装的时候已经编译过了，而且没有报错。
按照上面的方式重新执行错误结果一致。
回头想想，为什么大部分结果会让我们回去编译？
重新翻看 Facebook 给出的官方文档,我们发现大部分该执行的命令都已经执行过了，但是有个比较陌生的插件opam，它是单独安装的。
会不会是它有所依赖呢？
顺着这个思路很自然在官方文档中找到了下面这段话

Install Infer from source without opam

If for some reason you prefer to install Infer's OCaml dependencies by some means other than opam, you can still compile Infer by running:

./autogen.sh
./configure
make # or make java
# Install Infer into your PATH
export PATH=`pwd`/infer/bin:$PATH

执行上述脚本，注意执行./configure 程序报错了，但是结果有很明显的提示让你执行：

opam pin add --yes --no-action .
opam install --deps-only infer

顺着提示继续执行，发现执行 opam install --deps-only infer 命令的时候又出错了，但是它依然很人性化的提示你执行下列脚本：

opam depext camlp4.4.01+system

执行上述脚本后，将之前执行失败的脚本重新执行，不再出现报错了。
最后 make 编译会执行很长时间，等编译完成后就可以顺利执行 infer 静态检测内存泄露和空指针异常了。

注：在我的 unbuntu 机器上直接 make 会报错，因为我只关注 Android 项目，所以执行的是 make java，这样一切正常，现在正在跑项目中。暂时未研究是什么原因导致的，有兴趣的可以一起去研究讨论。

@doctorq 请问楼主在项目中运用过 infer 检查代码么？我在扫描
android 项目中会报：
UnicodeDecodeError: 'ascii' codec can't decode byte 0xe8 in position 2519118: ordinal not in range(128)
ios 项目会报：
AttributeError: 'NoneType' object has no attribute 'encode'

看到 github 上有人反馈好像是编码问题，很难解决

我在 linux 下编译也 遇到失败的问题，o(╯□╰) o