DevConf.US 2019 has ended
DevConf.us 2019 is the 2nd annual, free, Red Hat sponsored technology conference for community project and professional contributors to Free and Open Source technologies held at the Boston University in the historic city of Boston, USA.

When: Thursday, August 15 to Saturday, August 17, 2018

Venue: Boston University, George Sherman Union Building
Back To Schedule
Friday, August 16 • 11:50 - 12:35
Analyzing semantic differences in kernel options

Sign up or log in to save this to your schedule, view media, leave feedback and see who's attending!

We present the DiffKemp project - a tool for automatic analysis of differences in the code between versions of the Linux kernel. The tool will help to partially automate checking of compatibility of kernel options (sysctl options, module parameters) and of the kernel ABI, which will make 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. For syntactic comparison of the code, we transform it into the intermediary representation of the LLVM (clang) compiler. Moreover, we show how advanced formal methods can be used to prove an equivalence of semantics of programs even when the code is syntactically different.

avatar for Viktor Malik

Viktor Malik

A software engineer and a PhD. student at the same time., Red Hat / Brno University of Technology
I'm a PhD. student at the Brno University of Technology who is at the same time working as a software engineer in Red Hat. I'm enthusiastic about bringing topics from research into practice. My area of expertise is static analysis of programs.

Friday August 16, 2019 11:50 - 12:35 EDT
Terrace Lounge GS Union, BU