WG211/M11Bodden

IFDS/IDE-based Inter-procedural Static Analysis of Software Product Lines by Eric Bodden

We discuss an ongoing research project that will make it possible to automatically convert static program analyses originally designed for normal Java programs into static program analyses that work on Java-based software product lines. In every case in which the original analysis would report that a certain analysis fact holds at a given statement, the converted analysis will report the feature combinations under which that fact will hold. Our solution is formulated using the IFDS/IDE data-flow analysis framework by Reps, Sagiv and Horwitz, and is currently being implemented on top of Soot and the Color IDE (CIDE).