file.pdf (200.42 kB)

Extracting Configuration Knowledge from Build Files with Symbolic Analysis

Download (200.42 kB)
journal contribution
posted on 01.05.2015, 00:00 by Shurui Zhou, Jafar Al-Kofahi, Tien N. Nguyen, Christian Kästner, Sarah Nadi

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.

History

Publisher Statement

© 2015 IEEE. Personal use of this material is permitted. Permission from IEEE must be obtained for all other uses, in any current or future media, including reprinting/republishing this material for advertising or promotional purposes, creating new collective works, for resale or redistribution to servers or lists, or reuse of any copyrighted component of this work in other works.

Date

01/05/2015

Exports

Exports