Capturing the diversity of analyses over the Linux kernel variability – Companion Technical Report

This technical report comes as a companion to "Capturing the diversity of analyses over the Linux kernel variability" published at SPLC’21. In this report, we present additional inconsistencies in terminologies found in the state-of-the-art. We also give the exhaustive list of anomalies present in the five studied papers and detail the application of our formalism on all of them. Finally, we present a synthetic map of the studied anomalies over the Linux build system and their instantiations using our formalism