SVF Race Bug Detector This tool is currently work in progress. The original code is from SVF by Yulei Sui et al. Supports up to LLVM 10.0.0.