Description Incorporate a SAT solver (picosat) into the Linux kernel configurator (make xconfig, make menuconfig) to support kernel configuration processes (detect dead features, control visibility of option subtrees, resolve configuration conflicts). More details on the kconfig-sat website . Contact:Extent: B.Sc./ M.Sc.
DescriptionBrief description of the topic Contact:Extent: B.Sc./ M.Sc.
DescriptionOpen-source software repositories are a valuable source of information for software engineering researchers, providing insights into coding patterns, development practices, and developer collaboration. A key challenge fur such studies is the selection of suitable repositories for analysis, which requires categorization of projects (e.g. libraries, applications, etc.). This classification is usually performed manually, making it time … Read more
Description Contact:Extent: B.Sc./ M.Sc.
DescriptionThe idea is to study security policies in the Linux kernel (or a comparable, large-scale software system) and identify the influence of software configurability (the Linux kernel has a large configuration space, managed by the Kconfig system). A future outcome could be a tool for security warnings based on smells for certain selections (e.g., based … Read more
DescriptionBrief description of the topic Contact:Extent: B.Sc./ M.Sc.
DescriptionBrief description of the topic Contact:Extent: B.Sc./ M.Sc.
DescriptionBrief description of the topic Contact:Extent: B.Sc./ M.Sc.
DescriptionBrief description of the topic Contact:Extent: B.Sc./ M.Sc.
DescriptionBrief description of the topic Contact:Extent: B.Sc./ M.Sc.