我们用 Infer 检测一些开源的 Android 应用,试着找出并修复一些问题。到现在为止,确实修复了一些问题。

其中一个应用就是搜索引擎 DuckDuckGo。 我们发现有很多数据库的 cursor 没有及时关闭。我们报告了这个问题之后,一个开发者很快就修复了这个问题.

我们也分析了很流行的邮件客户端 k-9。我们发现有一个文件没关闭导致泄露,我们也提交了一个 issue。有意思的是,一个开发者修复了这个问题,修复方式是不往这个文件写任何日志信息。看吧,Infer 帮助他们简化了他们的代码。

Conversations is an open source XMPP/Jabber client for Android smart phones. We analyzed it as well and found a file not closed leak, which was also fixed.

Conversations 是一个开源的 XMPP/Jabber Android 应用。我们分析这个项目时,也发现了一个文件泄露。当然,现在修复了