Title: Kontrollflussanalyse und Formale Begriffsanalyse Von C-Code Aus Software-Produktlinien MIT Variabilitatsmanagement Durch Den Praprozessor