VSFS

This artifact provides a Docker image containing our implementation of VSFS. VSFS is built upon SVF and LLVM 10. The image also includes SVF's implementation of SFS. A script is included to easily compare the running time and memory usage of VSFS and SFS on a variety of open source benchmark programs and reproduce Table II and Table III of the associated paper.

Version 2: updated according to errata.