This data race detection tool was built upon SVF's MTA module for Michael Liu and Vi Nguyen's thesis project at UNSW. It was developed to be utilised with the Eclipse plug-in we developed here.
You can read our report to understand our methodology and justification.