Dataflow Analysis for Software Product Lines Feb, 2013 DAGSTUHL Intraprocedural Dataflow Analysis for Software Product Lines Claus Brabrand IT University.