Coverity Thread Analyzer for Java is the first dynamic analysis solution for multi-threaded Java applications that automatically and predictably detects existing and potential race conditions and deadlocks that can cause deadly application behavior. - Michael_techie
