Intraprocedural Dataflow Analysis for Software Product Lines
Statically Analyzing Software Product Lines in Minutes instead of Years
Static Analysis of Software Product Lines