DiffKemp is a tool for finding changes in semantics of various parts of the Linux kernel between different kernel versions. It allows to compare semantics of functions and of sysctl kernel parameters. The comparison is based on static analysis of the source code that is translated into the LLVM intermediate representation.

This is a companion discussion topic for the original entry at