WG211/M11Bodden

From WG 2.11
Revision as of 19:52, 26 February 2012 by Ups (talk | contribs) (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...")
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to: navigation, search

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

Retrieved from "https://wiki.hh.se/wg211/index.php?title=WG211/M11Bodden&oldid=603"