vsfs.tar.gz (1.76 GB)
Download file

VSFS

Download (1.76 GB)
software
posted on 25.11.2020, 02:00 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

History

Usage metrics

Licence

Exports