ThreadSafe static analysis tool for Java concurrency: now with command-line invocation

Mani Sarkar sadhak001 at
Thu Apr 24 01:20:38 UTC 2014

Message: 4
Date: Wed, 16 Apr 2014 15:09:47 +0100
From: Don Sannella <d.sannella at>
To: concurrency-interest at
Subject: [concurrency-interest] ThreadSafe static analysis tool for
        Java concurrency: now with command-line invocation
Message-ID: <534E8F2B.7070609 at>
Content-Type: text/plain; charset=UTF-8; format=flowed

Contemplate has recently released a new version of ThreadSafe, an
advanced static analysis tool that specifically targets Java concurrency
defects and includes some dedicated treatment for java.util.concurrent.
I have previously announced a ThreadSafe plugin for Eclipse on this list
and invited feedback.

New in this release is a command-line version of ThreadSafe which
produces an HTML report with clickable links, giving ways of browsing
findings and relating them to the source code. This makes ThreadSafe
available to people who use IDEs other than Eclipse, and opens the way
to integration with build/CI tools.

We've also done some major surgery on ThreadSafe's analysis algorithms
to improve the accuracy of its results, and made other improvements.

An recent InfoQ article about ThreadSafe, showing examples of
concurrency errors it finds in open source applications including Apache
JMeter and K9Mail, is here:
As far as we've been able to determine, none of the bugs shown are
caught by any other Java static analysis tool.

You can see an example of the output of the command-line interface at:
This is for the same version of Apache JMeter as was discussed in the
InfoQ article.

You can get a free two-week trial of ThreadSafe Solo (Eclipse plugin and
command-line version) by filling out a simple webform at:

A SonarQube plugin is also available for free trial. Please write to me
if interested.

More information is on Contemplate's website:

As before, I'm interested in feedback and hope that you will help to
spread the word!

Best regards,

Don Sannella

Prof. Donald Sannella, Laboratory for Foundations of Computer Science,
School of Informatics, University of Edinburgh, Edinburgh EH8 9AB, UK  dts at  +44 131 650 5184


Don Sannella                d.sannella at
Contemplate Ltd          
Appleton Tower, 11 Crichton Street, Edinburgh EH8 9LE, UK
tel +44 7939 132117  fax +44 131 6503474  skype dsannella


@theNeomatrix369 <>*  |  **Blog
<>**  |  *LJC Associate & LJC Advocate
(@adoptopenjdk & @adoptajsr programs)
*Meet-a-Project - *MutabilityDetector<>*
|  **Bitbucket <>* * |  **Github
<>* * |  **LinkedIn
*Come to Devoxx UK 2014:*

*Don't chase success, rather aim for "Excellence", and success will come
chasing after you!*

More information about the adoption-discuss mailing list