TypeChef is a research project with the goal of analyzing #ifdef variability in C code with the goal of finding variability-induced bugs in large-scale real-world systems, such as the Linux kernel with several thousand features (or configuration options).
https://github.com/ckaestne/TypeChef
https://github.com/ckaestne/TypeChef
GitHub
GitHub - ckaestne/TypeChef: Type checking ifdef variability
Type checking ifdef variability. Contribute to ckaestne/TypeChef development by creating an account on GitHub.