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)