20–24 Sept 2021
US/Pacific timezone

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

23 Sept 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

Diamond Sponsor

Platinum Sponsor

Gold Sponsors

Silver Sponsors

Speaker Gift Sponsor

T-Shirt Sponsor

Conference Services provided by