KconfigReader-based Kconfig extractor for KernelHaven
Variability-model extractor for KernelHaven
Undertaker-based code extractor for KernelHaven
Analyzer plug-in to detect (un-)dead code blocks
A code-model extractor for KernelHaven. This extractor uses srcML to analyze C source code.
Scenario test cases for KernelHaven.
Contains utilties for dealing with non-boolean variables in C preprocessor analysis
Extension for KernelHaven that allows for easy implementation of software product line metrics.
Reuseable Readers and Writers for KernelHaven
Analysis components for calculating presence condtions and feature effects
SQL connectors for KernelHaven
Utilities for parsing C-preprocessor statements
Detection of Configuration Mismatches
A code-model extractor that extracts #ifdef blocks
CNF utility functions for analysis plug-ins.
Main Infrastructure of KernelHaven
Website of KernelHaven
Support for incremental anlyses
Provision of (proposals for) corrections of unintended divergences between problem and solution space artifacts
Identification of unintended divergences between problem and solution space artifacts
Identification of relations between problem and solution space artifacts
A utility for automatically creating the setting documentation
Build script to prepare automatically releases
Analysis components for locating different entities.
A code extractor for KernelHaven based on the TypeChef tool.
KbuildMiner-based Kbuild extractor for KernelHaven
Utilities for preparing Busybox and Coreboot source trees for KernelHaven
Contains the documentation of KernelHaven