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.
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.