Kbuild Makefiles form the build system for several critical software systems including the Linux kernel. In this talk we show how to automatically identify specific configurations that include a given part of the source code automatically using symbolic Boolean logic, a result useful for software developers and test engineers.
Speaker: Jin Koay
Read More