Technology Parsing and Type checking all 2^10000 configurations of the Linux kernel

Parsing and Type checking all 210000 configurations of the Linux kernel 10,000 features, 6 million lines of C code Christian Kästner Feature-Oriented Product Lines Database…