softwareposted on 27.05.2021, 02:26 by Mohamad BarbarMohamad Barbar, Yulei Sui, Shiping Chen
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.