Loading…
DevConf.CZ 2019 has ended

Saturday, January 26 • 10:30am - 10:55am
Analysing differences in kernel parameters

Sign up or log in to save this to your schedule and see who's attending!

Feedback form is now closed.
In 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.

Speakers
VM

Viktor Malík

Software Engineer, Red Hat


slides pdf

Saturday January 26, 2019 10:30am - 10:55am
E104

Attendees (66)