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.

Name		Name	Last commit message	Last commit date
Latest commit History 5 Commits
include		include
lib		lib
tools		tools
CMakeLists.txt		CMakeLists.txt
LICENSE.TXT		LICENSE.TXT
README.md		README.md
build.sh		build.sh
clean.sh		clean.sh
setup.sh		setup.sh

Provide feedback