Description The goal of the thesis is to identify and analyze the parts of the code of open-source software where security features are implemented. Since it is difficult to find all security feature implementations in a software system, we want to use a systematic approach starting from easily identifiable security-critical fields and methods. Based on … Read more
DescriptionBrief description of the topic Contact:Extent: B.Sc./ M.Sc.
DescriptionBrief description of the topic study feature annotations in the codebase history of the Mozilla Firefox project study feature ownership in the codebase history of the Linux kernel: Who maintains feature code? What kinds of coordination patterns arise? identify and study merge refactorings in the codebase history of the Linux kernel or another large open-source … Read more
DescriptionBrief description of the topic intelligent code merge tool which, for instance, can handle code-alignment issues identify side effects of source code using static analysis conceive and implement a feature dashboard, showing developers what features exist, where they reside in the code, and show various metrics about features (e.g., scattering degree, tangling degree, lines of … Read more
DescriptionBrief description of the topicproduct-line migration feasibility study (static analysis of legacy software artifacts, cost/benefit analysis, architecture evaluation) Contact:Extent: B.Sc./ M.Sc.
DescriptionBrief description of the topic static 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.
DescriptionBrief description of the topicincorporate 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.
DescriptionBrief description of the topic Contact:Extent: B.Sc./ M.Sc.