statically analyzing software product lines minutes instead yearsspllift在几分钟内而不分析软件产品线.pdf

SPLLIFT—StaticallyAnalyzingSoftwareProductLines

inMinutesInsteadofYears

´ˆ´

EricBoddenTarsisToledoMarcioRibeiroClausBrabrandPauloBorbaMiraMezini

¨

ECSPRIDE,TechnischeUniversitatDarmstadt,Darmstadt,Germany

ITUniversityofCopenhagen,Copenhagen,Denmark

FederalUniversityofPernambuco,Recife,Brazil

´

FederalUniversityofAlagoas,Maceio,Brazil

bodden@,twt,phmb@cin.ufpe.br,marcio@ic.ufal.br,brabrand@itu.dk,mira.mezini@cased.de

Asoftwareproductline(SPL)encodesapotentiallylargevarietyvoid

int

ofsoftwareproductsasvariantsofsomecommoncodebase.Up

int

untilnow,re-usingtraditionalstaticanalysesforSPLswasvirtu-ifdef

allyintractable,asitrequiredprogrammerstogenerateandanalyze

allproductsindividually.Inthiswork,however,weshowhowanendif

importantclassofexistinginter-proceduralstaticanalysescanbeifdef

transparentlyliftedtoSPLs.Withoutrequiringprogrammersto

changeasinglelineofcode,ourapproa