vsfs.tar.gz (1.87 GB)
Download file

VSFS

Download (1.87 GB)
software
posted 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.

History

Usage metrics

Licence

Exports