“ I was surprised by how fast ThreadSafe is. I’d expected something like Java PathFinder that takes almost infinite time to run.”   Read more »

Jonas Abreu, Adaptideas and VidaGeek.net

Using ThreadSafe

Sample interactive output for ThreadSafe

This is output from ThreadSafe for Command Line. It was generated from an analysis of Apache JMeter. The output is interactive and by selecting the bugs in the tree at the left you can view further details and see the affected code.

See ThreadSafe output »

In depth look at using ThreadSafe

An in-depth demonstration of the use of ThreadSafe for analysing and fixing concurrent code using the Eclipse plugin, explaining some of the technology underlying ThreadSafe’s advanced static analysis.

Read article »

Demo Videos

Introduction
Introducing ThreadSafe
Introducing Contemplate ThreadSafe
This introduction to ThreadSafe highlights the key features of ThreadSafe for Eclipse and ThreadSafe for SonarQube.
Demo part 1
ThreadSafe Eclipse Demo, part 1
ThreadSafe for Eclipse Demo, part 1
This video shows ThreadSafe for Eclipse being used to find concurrency bugs in Jetty: a web server with support for Java Servlets.
The bug discussed in this video was reported to the developers and fixed.
Demo part 2
ThreadSafe Eclipse Demo, part 2
ThreadSafe for Eclipse Demo, part 2
This video continues our investigation into Jetty, and uses the guard inference feature in ThreadSafe to diagnose a different, and more complex bug.
This bug was also reported to the developers and fixed.