As a Software QA, I am interested in the field of Static Analysis for multithreaded software. In particular early detection of dead locks or data inconsistency. I have been made aweare of the "Lock_Lint - Static Data Race and Deadlock Detection Tool for C" tool but after downloading/installing the "solarisstudio12.3" I could not find the tool. Can someone point me to where I can downloaded.