We have been running Keshmesh on several open source applications and reporting the results to the maintainers of those applications. So far, Keshmesh has found the following instances of its supported bug patterns in open source software:
Apache Tomcat is an open source software implementation of the Java Servlet and JavaServer Pages technologies.
Apache Commons Pool provides an object-pooling API.
OkHttp is an HTTP+SPDY client for Android and Java applications.