DescriptionThis thesis lifts Git, the most common version-control-system, to the world of massively AI-generated source code, which requires lifting the level of abstraction at which developers work. The thesis project builds on the Git with Features concept for feature-aware version control and extends it toward full product derivation support. The goal is to enable developers … Read more
DescriptionProduct-line migration feasibility study (static analysis of legacy software artifacts, cost/benefit analysis, architecture evaluation). Contact:Extent: B.Sc./ M.Sc.
Descriptionstatic analysis of firmware source code to extract configuration constraints and to reverse-engineer/extend a variability model Contact:Extent: B.Sc./ M.Sc.
DescriptionBrief description of the topic Contact:Extent: B.Sc./ M.Sc.
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.
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.
