24–28 Aug 2020
US/Pacific timezone

State of flow-based diagnostics in GCC

27 Aug 2020, 09:00
25m
GNU Tools track/Virtual-Room (LPC Virtual)

GNU Tools track/Virtual-Room

LPC Virtual

150
GNU Tools Track GNU Tools Track

Speaker

Mr Martin Sebor (Red Hat)

Description

GCC has a robust set of diagnostics based on control- and data-flow analysis. They are able to detect many kinds of bugs primarily related to invalid accesses. In this talk I will give an overview of the latest state of some of these diagnostics and sketch out my ideas for future enhancements in this area.

I agree to abide by the anti-harassment policy I agree

Primary author

Mr Martin Sebor (Red Hat)

Presentation materials

Diamond Sponsor

Platinum Sponsors



Gold Sponsors


Silver Sponsors


Catchboxes Sponsor

Conference Services Provided By