Visible to the public Extracting configuration knowledge from build files with symbolic analysisConflict Detection Enabled

TitleExtracting configuration knowledge from build files with symbolic analysis
Publication TypeConference Proceedings
Year of Publication2015
AuthorsShurui Zhou, Jafar Al-Kofahi, Tien Nguyen, Christian Kästner, Sarah Nadi
Conference NameRELENG '15 Proceedings of the Third International Workshop on Release Engineering
Date Published05/16/2015
PublisherIEEE Press Piscataway, NJ, USA ©2015
Conference LocationFlorence, Italy
KeywordsCMU, July'15

Build systems contain a lot of configuration knowledge about a software system, such as under which conditions specific files are compiled. Extracting such configuration knowledge is important for many tools analyzing highly-configurable systems, but very challenging due to the complex nature of build systems. We design an approach, based on SYMake, that symbolically evaluates Makefiles and extracts configuration knowledge in terms of file presence conditions and conditional parameters. We implement an initial prototype and demonstrate feasibility on small examples.

Citation Keynode-25045

Other available formats:

Zhou_Extracting_Configuration_CK.pdfPDF document153.12 KBDownloadPreview