The Linux Variability Analysis Tools (LVAT) is a tool suite written in Scala for analysing the Linux Kconfig model. LVAT is written and maintained by Steven She (mintcoffee) who is part of the Generative Software Development Lab.

Tools

Currently, there are three tools available in the suite:

• Propositional formula extractor
• Kconfig statistics
• Feature model translator

Extracts

LVAT relies on Kconfig model extracts (.exconfig). Extracts for Linux x86 v2.6.12 through v.2.6.32 are available from the extracts repository.

Kconfig Intermediate Format Extractor

If you're interested in other architectures or versions of Linux, the extractor source is available from the exconfig repository.

Feature Model Translator

The translator takes a .exconfig file and outputs the a feature model in Clafer syntax. This translator is responsible for the Clafer model available from the GSD website. The code should be considered pre-release and is available from the fm-translation repository.