Dataset

The artifact contains a VM image with our tool installed on it, along with a script which downloads and evaluates open-source projects to reproduce the results presented in our paper. Detailed instructions are available in the README included in the artifact. The source code of the tool and the evaluation script are available on GitHub: https://github.com/nandor/mkcheck, https://github.com/nandor/mkcheck-eval

The​ ​artifact​ ​is​ ​provided​ ​as​ ​a​ ​VirtualBox​ ​appliance.​ ​We​ ​tested​ ​it​ ​using​ ​ VirtualBox​ ​version 5.2.12 r122591​ ​on​ ​macOS High ​Sierra​ ​(10.13.6)​ ​but​ ​other​ ​ modern​ ​versions​ ​of​ ​VirtualBox​ ​on​ ​other platforms​ ​should​ ​also​ ​work.​ ​A​ ​single​ ​ user​ nand ​with​ ​no password​ has been created. To boot the machine: 1) Install VirtualBox ​by​ ​following​ ​the​ ​instructions​ ​at https://www.virtualbox.org/wiki/Downloads​​ ​to​ ​install​ ​a​ ​version​ ​of​ VirtualBox​ ​for​ ​your operating​ ​system. 2) Import​ ​the​ ​appliance​​ ​using​ ​the​ ​option​ ​from​ ​the​ ​File​ ​menu​ ​in​ ​VirtualBox 3) Start​ ​the​ ​VM​​ ​once​ ​it​ ​has​ ​finished​ ​importing After booting, a shell should be available, pointed to the home directory of the nand user, containing the source code of mkcheck and the automated evaluation script. Instructions on how to build and install the tools independently on any Linux machine are available in the README.md of their repository.