Extracting configuration knowledge from build files with symbolic analysis

Shurui Zhou, Jafar Al-Kofahi, Tien N. Nguyen, Christian Kästner, Sarah Nadi

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Abstract

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.

Original languageEnglish (US)
Title of host publicationProceedings - 3rd International Workshop on Release Engineering, RELENG 2015
PublisherInstitute of Electrical and Electronics Engineers Inc.
Pages20-23
Number of pages4
ISBN (Electronic)9781479919345
DOIs
StatePublished - 2015
Event3rd International Workshop on Release Engineering, RELENG 2015 - Florence, Italy
Duration: May 19 2015 → …

Publication series

NameProceedings - 3rd International Workshop on Release Engineering, RELENG 2015

Conference

Conference3rd International Workshop on Release Engineering, RELENG 2015
Country/TerritoryItaly
CityFlorence
Period5/19/15 → …

ASJC Scopus subject areas

  • Software

Cite this