A variability-model extractor for KernelHaven.
This extractor uses KconfigReader to analyze the Linux Kernel.
This extractor reads the Kconfig model of the Linux Kernel. To do that, it has to modify the Linux source tree by calling make allyesconfig prepare on it. Be aware that this overrides any previously present .config file in the Linux source tree.
Place KconfigReaderExtractor.jar in the plugins folder of KernelHaven.
To use this extractor, set variability.extractor.class to net.ssehub.kernel_haven.kconfigreader.KconfigReaderExtractor in the KernelHaven properties.
In addition to KernelHaven, this plugin has the following dependencies:
- Only runs on a Linux operating system
- C compiler and
maketo runmake allyesconfig preparein the Linux source tree. On Ubuntu just install thebuild-essentialandlibelf-devpackages via:sudo apt install build-essential libelf-dev
This plugin is licensed under GPLv3.
Another license would be possible with the following restriction:
- The plugin contains KconfigReader which is under GPLv3. We do not link against KconfigReader, so technically we are not infected by GPL. However a release under a license other than GPLv3 would require the removal of the contained KconfigReader.
The following tools are used (and bundled in res/) by this plugin:
| Tool | Version | License |
|---|---|---|
| kconfigreader | 2016-07-01 (913bf31) | GPLv3 |