Yan Cai, and Lingwei Cao



Source Code and Benchmarks + Test Cases: A release of DFixer is available. Please send an email to me for the link of DFixer including benchmarks and test cases.
Please note: (1) This released version automatically searches for call stacks based on deadlocking sites; for C++ programs (i.e., Object-Oriented ones), the call stacks must be given and the released code should be adapted accordingly; and (2) read the "Important" at the end of this page on our release.


Additional Experiment Data: see below Table 1.


For any problem, please feel free to contact me.

Important:
1. Please see Readme file on our release.
2. Our implementation is based on LLVM IR files. Currently, the inclusion of our "dfixer_lib.h" requires manual work, as we have not found a good approach to identify a point to insert this file.