Speakers
Carlos O'Donell
(Red Hat)
David Malcolm
(Red Hat)
Description
I'm the author of GCC's static analysis pass, -fanalyzer. I've been experimenting with extending it to add kernel-specific diagnostics: detecting infoleaks and unsanitized syscalls at compile-time. I'd like to discuss these and other ideas for improving the test coverage of our kernel builds.
Primary author
David Malcolm
(Red Hat)
Co-author
Carlos O'Donell
(Red Hat)
