Analysing differences in kernel parameters
Presentation name: Analysing differences in kernel parameters
Speaker: Viktor Malík
Description: n this session, we present the DiffKemp project - a tool for automatic
analysis of code differences between two versions of the Linux kernel. The
tool partially automates kernel option compatibility cross-check (sysctl
variables, module parameters) which makes the process of the kernel
development and deployment more efficient and reliable. The approach that we use is based on static analysis of the kernel source code, which makes sure that all program paths are covered. Moreover, we use advanced formal methods to prove an equivalence of semantics of programs even when the code is syntactically different.
[ https://sched.co/JcjO ]
On this page of the site you can watch the video online Analysing differences in kernel parameters with a duration of 16 minute 40 second in good quality, which was uploaded by the user DevConf 19 February 2019, share the link with friends and acquaintances, this video has already been watched 376 times on youtube and it was liked by 6 viewers. Enjoy your viewing!
