DiffKemp: Analysing Kernel Modules

DiffKemp is a tool performing analysis of changes in semantics of kernel module
parameters between different module versions. The goal is to automatically
determine how the effect of a particular module parameter changed between two
versions of the module. The tool relies on advanced techniques of static
analysis (analysis of the source code) such as slicing and SMT solving.

This project offers you a possibility to work on a research topic that has an
ambition to be used in practice as a part of an open-source tool. This work does
not require any special skills, except for basic programming skills and more
important a passion for learning new things and for solving non-trivial

Viktor Malík

Team: LeApp
Location: Brno
Brno RIG