Ups: Created page with "'''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..."

2012-02-26T18:52:13Z

Created page with "'''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..."

New page

'''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).

WG211/M11Bodden - Revision history

Ups: Created page with "'''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..."