Version 2 2021-05-27, 02:26
Version 1 2020-11-25, 02:00
software
posted on 2020-11-25, 02:00 authored by Mohamad BarbarMohamad Barbar, Yulei Sui, Shiping ChenThis 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