• Publications
  • Influence
Intraprocedural dataflow analysis for software product lines
TLDR
In this paper, we demonstrate how to take any standard intraprocedural data flow analysis and automatically turn it into a feature-sensitive dataflow analysis in three different ways. Expand
  • 84
  • 12
  • PDF
SPLLIFT: statically analyzing software product lines in minutes instead of years
TLDR
A software product line (SPL) encodes a potentially large variety of software products as variants of some common code base. Expand
  • 89
  • 6
  • PDF
On the impact of feature dependencies when maintaining preprocessor-based software product lines
TLDR
In this paper, we analyze 43 SPLs of different domains, size, and languages. Expand
  • 33
  • 4
  • PDF
Emergo: a tool for improving maintainability of preprocessor-based product lines
TLDR
Emergent Interfaces was proposed to minimize this problem by capturing feature dependencies and then providing information about other features that can be impacted during a maintenance task. Expand
  • 9
  • 1
  • PDF
Intraprocedural Dataflow Analysis for Software Product Lines
  • 2
  • 1
Dataflow Analysis for Software Product Lines
TLDR
In this paper, we demonstrate how to take any standard intraproce- dural dataflow analysis and automatically turn it into a feature-sensitive data flow analysis in five different ways where the last is a combination of the other four. Expand
  • 2
  • PDF
Transparent and Efficient Reuse of IFDS-based Static Program Analyses for Software Product Lines
TLDR
A software product line (SPL) encodes a potentially large variety of software products as variants of some common code base. Expand
  • 1
  • PDF