Extracting configuration knowledge from build files with symbolic analysis

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

doi:10.1109/RELENG.2015.15

Extracting configuration knowledge from build files with symbolic analysis

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

Computer Science

Research output: Chapter in Book/Report/Conference proceeding › Conference 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 language	English (US)
Title of host publication	Proceedings - 3rd International Workshop on Release Engineering, RELENG 2015
Publisher	Institute of Electrical and Electronics Engineers Inc.
Pages	20-23
Number of pages	4
ISBN (Electronic)	9781479919345
DOIs	https://doi.org/10.1109/RELENG.2015.15
State	Published - 2015
Event	3rd International Workshop on Release Engineering, RELENG 2015 - Florence, Italy Duration: May 19 2015 → …

Publication series

Name	Proceedings - 3rd International Workshop on Release Engineering, RELENG 2015

Conference

Conference	3rd International Workshop on Release Engineering, RELENG 2015
Country/Territory	Italy
City	Florence
Period	5/19/15 → …

ASJC Scopus subject areas

Software

Access to Document

10.1109/RELENG.2015.15

Cite this

Zhou, S., Al-Kofahi, J., Nguyen, T. N., Kästner, C., & Nadi, S. (2015). Extracting configuration knowledge from build files with symbolic analysis. In Proceedings - 3rd International Workshop on Release Engineering, RELENG 2015 (pp. 20-23). Article 7169447 (Proceedings - 3rd International Workshop on Release Engineering, RELENG 2015). Institute of Electrical and Electronics Engineers Inc.. https://doi.org/10.1109/RELENG.2015.15

Extracting configuration knowledge from build files with symbolic analysis. / Zhou, Shurui; Al-Kofahi, Jafar; Nguyen, Tien N. et al.
Proceedings - 3rd International Workshop on Release Engineering, RELENG 2015. Institute of Electrical and Electronics Engineers Inc., 2015. p. 20-23 7169447 (Proceedings - 3rd International Workshop on Release Engineering, RELENG 2015).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Zhou, S, Al-Kofahi, J, Nguyen, TN, Kästner, C & Nadi, S 2015, Extracting configuration knowledge from build files with symbolic analysis. in Proceedings - 3rd International Workshop on Release Engineering, RELENG 2015., 7169447, Proceedings - 3rd International Workshop on Release Engineering, RELENG 2015, Institute of Electrical and Electronics Engineers Inc., pp. 20-23, 3rd International Workshop on Release Engineering, RELENG 2015, Florence, Italy, 5/19/15. https://doi.org/10.1109/RELENG.2015.15

Zhou S, Al-Kofahi J, Nguyen TN, Kästner C, Nadi S. Extracting configuration knowledge from build files with symbolic analysis. In Proceedings - 3rd International Workshop on Release Engineering, RELENG 2015. Institute of Electrical and Electronics Engineers Inc. 2015. p. 20-23. 7169447. (Proceedings - 3rd International Workshop on Release Engineering, RELENG 2015). doi: 10.1109/RELENG.2015.15

@inproceedings{bef974b63e8e484085008a7ff0bc5082,

title = "Extracting configuration knowledge from build files with symbolic analysis",

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.",

author = "Shurui Zhou and Jafar Al-Kofahi and Nguyen, {Tien N.} and Christian K{\"a}stner and Sarah Nadi",

note = "Publisher Copyright: {\textcopyright} 2015 IEEE.; 3rd International Workshop on Release Engineering, RELENG 2015 ; Conference date: 19-05-2015",

year = "2015",

doi = "10.1109/RELENG.2015.15",

language = "English (US)",

series = "Proceedings - 3rd International Workshop on Release Engineering, RELENG 2015",

publisher = "Institute of Electrical and Electronics Engineers Inc.",

pages = "20--23",

booktitle = "Proceedings - 3rd International Workshop on Release Engineering, RELENG 2015",

}

TY - GEN

T1 - Extracting configuration knowledge from build files with symbolic analysis

AU - Zhou, Shurui

AU - Al-Kofahi, Jafar

AU - Nguyen, Tien N.

AU - Kästner, Christian

AU - Nadi, Sarah

PY - 2015

Y1 - 2015

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

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

UR - http://www.scopus.com/inward/record.url?scp=84962288920&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=84962288920&partnerID=8YFLogxK

U2 - 10.1109/RELENG.2015.15

DO - 10.1109/RELENG.2015.15

M3 - Conference contribution

AN - SCOPUS:84962288920

T3 - Proceedings - 3rd International Workshop on Release Engineering, RELENG 2015

SP - 20

EP - 23

BT - Proceedings - 3rd International Workshop on Release Engineering, RELENG 2015

PB - Institute of Electrical and Electronics Engineers Inc.

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

Y2 - 19 May 2015

ER -

Extracting configuration knowledge from build files with symbolic analysis

Abstract

Publication series

Conference

ASJC Scopus subject areas

Access to Document

Other files and links

Fingerprint

Cite this