Artifacts for: An Empirical Study of Real-World Variability Bugs Detected by Variability-Oblivious Tools

This repository provides the implementation of the final three steps of the automated framework presented in our FSE'2019 paper (included as ./PDF). The first step, Sample Generation, relies on the work done by Jeho et al. [31], so we do not include it here. Instead, we provide the results of that step in ./cases, and provide the rest of the framework, which runs off-the-shelf bug detectors, deduplicates their results, automatically extracts relevant features, and outputs those results in a unified format.

See INSTALL.md for instructions on running the experiments.

This is a single version uploaded for archival purposes, but refer to https://github.com/paulgazz/kconfig_case_studies for the most current version, with any necessary bug fixes.