LUPA and Pinso have been released in github

LUPA, Pinso

LUPA : A tool based on LLVM automatically collect data of lock usage in open source applications [ICSM 2013].

Pinso：A fault localization system that precisely pinpoints the root cause of concurrency bugs.