A SAT Solver for Linux

by

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.

Machine-/Deep-Learning-based GitHub Project Classification

by

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

Study on How Configuration Affects Security

by

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