The Community for Technology Leaders
2015 IEEE/ACM 3rd International Workshop on Release Engineering (RELENG) (2015)
Florence, Italy
May 19, 2015 to May 19, 2015
ISBN: 978-1-4673-7070-7
pp: 20-23
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 Make files and extracts configuration knowledge in terms of file presence conditions and conditional parameters. We implement an initial prototype and demonstrate feasibility on small examples.
INDEX TERMS
Linux, Concrete, Testing, Prototypes, Kernel, Software engineering, Data mining
CITATION

S. Zhou, J. Al-Kofahi, T. N. Nguyen, C. Kastner and S. Nadi, "Extracting Configuration Knowledge from Build Files with Symbolic Analysis," 2015 IEEE/ACM 3rd International Workshop on Release Engineering (RELENG), Florence, Italy, 2015, pp. 20-23.
doi:10.1109/RELENG.2015.15
82 ms
(Ver 3.3 (11022016))