We ran Infer on a few open source Android apps with the aim of finding some bugs and getting them fixed. Some of those reports got indeed fixed.

One of the apps analyzed was the search engine DuckDuckGo. We found that many database cursors were not closed. Soon after we reported the issue, a developer fixed it.

We also analyzed the popular email client k-9. We found a file not closed leak and reported it. Interestingly, a developer fixed it by not writing some logging info to the file at all. So Infer helped them to simplify their code.

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.