A code-model extractor for KernelHaven.
This extractor uses TypeChef to analyze C source code.
This extractor extracts a variability-aware abstract syntax tree (AST) from C source code files (*.c) and considers preprocessor macros.
Place TypeChefExtractor.jar in the plugins folder of KernelHaven.
To use this extractor, set code.extractor.class to net.ssehub.kernel_haven.typechef.TypechefExtractor in the KernelHaven properties.
In addition to KernelHaven, this plugin has the following dependencies:
This plugin is licensed under the Apache License 2.0.
The following tools are used (and bundled in lib/) by this plugin:
| Tool | Version | License |
|---|---|---|
| TypeChef | 0.4.1 | LGPLv3 |