20-24 September 2021
US/Pacific timezone

Adding kernel-specific test coverage to GCC's -fanalyzer option

23 Sep 2021, 08:20
35m
Microconference1/Virtual-Room (LPC Virtual)

Microconference1/Virtual-Room

LPC Virtual

150

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)

Presentation Materials