Code contains Double-Lock, Conflicting-Lock-Order, Atomicity-Violation, Use-After-Free, Invalid-Free Detectors
and Panic Location Detector.
Data contains BugStudy.xlsx, which records all the study results, and BugReport.xlsx, which records all the experimental results,