LUPA and Pinso have been released in github
LUPA : A tool based on LLVM automatically collect data of lock usage in open source applications [ICSM 2013].
https://github.com/poeliu/LUPA
Pinso：A fault localization system that precisely pinpoints the root cause of concurrency bugs.