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 ]
En esta página del sitio puede ver el video en línea Analysing differences in kernel parameters de Duración 16 minuto 40 segunda en buena calidad , que subió el usuario DevConf 19 febrero 2019, comparta el enlace con amigos y conocidos, en youtube este video ya ha sido visto 376 veces y le gustó 6 a los espectadores. Disfruta viendo!
