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.

https://github.com/poeliu/Pinso

Comments