Detecting Incorrect Build Rules - Artifact
Repository URI
Repository DOI
Change log
Authors
Rice, AC
Licker, N
Description
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
Version
Software / Usage instructions
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.
Keywords
build tools, compilation, exhaustive testing
