Analysing the Kconfig Semantics and its Analysis Tools
The Linux kernel is often used as a real world case study to demonstrate novel Software Product Line Engineering research methods. An important point in this is often the analysis of the Kconfig semantics. However, we detected that the semantic of Kconfig is rather unclear and has many special cases, which are not documented in its short specification. We performed a systematic analysis to uncover the correct behaviour of Kconfig and present the results, which are necessary for applying semantically correct analyses. Further, we analyse existing analysis tools whether they are aware of the correct semantics of Kconfig. These analyses can be used for improving existing analysis tools as well as decision support for selecting an appropriate tool for a specific analysis.
Mon 26 OctDisplayed time zone: Eastern Time (US & Canada) change
13:30 - 15:00 | |||
13:30 30mTalk | An Empirical Study on Configuration-Related Type Issues GPCE Flávio Medeiros Federal University of Campina Grande, Iran Rodrigues Federal University of Alagoas, Márcio Ribeiro Federal University of Alagoas (UFAL), Leopoldo Teixeira Federal University of Pernambuco, Rohit Gheyi UFCG, Brazil | ||
14:00 30mTalk | Analysing the Kconfig Semantics and its Analysis Tools GPCE Sascha El-Sharkawy University of Hildesheim, Adam Krafczyk University of Hildesheim, Klaus Schmid Stiftung Universistat Hildesheim | ||
14:30 30mTalk | Migrating Large Object-oriented Applications into Component-based ones: Instantiation and Inheritance Transformation GPCE Zakarea Al Shara LIRMM, CNRS and University of Montpellier, Abdelhak Seriai LIRMM, CNRS and University of Montpellier, Chouki Tibermacine LIRMM, CNRS and University of Montpellier, Hinde Bouziane LIRMM, CNRS and University of Montpellier, Christophe Dony LIRMM, CNRS and University of Montpellier, Anas Shatnawi LIRMM, CNRS and University of Montpellier |