Implementation prototype of a deadlock detection paper(https://dl.acm.org/citation.cfm?id=2555262). It is based on the ideology to identify false positives and reduce manual comprehension.
LLVM version - 3.9.1
You can run it in your system by /testcases/ ./run.sh