Concurrency is often the most natural way to design a software system, even when high performance is not critical. But concurrent software is difficult to get right, especially in a team that has many demands on it.

ThreadSafe looks for the most common concurrency bugs… and some rarer bugs too. It can check your application conforms to many of the recommendations for concurrent Java found in the CERT Oracle Secure Coding Standard for Java.

Adapted to your workflow

Eclipse

SonarQube

Command Line

ThreadSafe analyses are available in three different packages to suit your environment:

Eclipse plug-in: shows problems in the IDE where bugs are easiest to investigate and fix.

Case Studies

Apache Mina Case Study (PDF)
Contemplate has identified issues in open source code bases related to the use of concurrent techniques. The example attached was found in a component of a leading financial markets communications protocol.

Trading System Case Study (PDF)
Contemplate has successfully identified potential risks to production stability in trading applications of a major investment bank.