-
Welcome
-
Subscribe to
vampyr: configurability aware compile-testing of source files
This proposal has been accepted as a session.
One Line Summary
I present a tool, which compile-tests sourcefiles with a high coverage of configurable CPP-blocks.
Abstract
Some bugs in the linux kernel only appear with specific configurations. In the same way, it’s possible that compiler errors and warnings only emerge with specific configurations, because configurable CPP-Blocks hide the code from the compiler. Compile-testing source code with all possible configurations is a tedious and error prone task. Maintainers often compile changes with the ‘make allyesconfig’ configuration, which doesn’t necessarily cover the whole code.
Our approach delegates compile-testing to a tool called ‘vampyr’.
The talk includes global coverage statistics of ‘allyesconfig’ in comparison to the results of the
vampyr approach for linux versions v3.2 and v3.16.
Tags
kconfig, Clang, compiler, gcc, tool, compile-test, warnings, errors
Presentation Materials
slidesSpeaker
-
- Website: http://cados.cs.fau.de/
Biography
I’m about to finish my Master’s degree in CS at the Friedrich-Alexander University of
Erlangen-Nuremberg and I’m working in the vamos-project 12 as a research student for about 1.5
years.Sessions
-
- Title: vampyr: configurability aware compile-testing of source files
- Microconference: Development Tools
-
One Line Summary:
I present a tool, which compile-tests sourcefiles with a high coverage of configurable CPP-blocks.
- slides
- Speakers: Stefan Hengelein