Skip to main content

Results

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

Apache Tomcat is an open source software implementation of the Java Servlet and JavaServer Pages technologies.

Confirmed Problems

VNA00-J

Apache Commons Pool

Apache Commons Pool provides an object-pooling API.

Confirmed Problems

VNA00-J

PyDev

PyDev is a Python IDE based on Eclipse.

Confirmed Problems

VNA00-J

OkHttp

OkHttp is an HTTP+SPDY client for Android and Java applications.

Confirmed Problems

VNA00-J