3 ms·

Cool static analysis features: https://developers.redhat.com/blog/2021/01/28/static-analysis-updates-in-gcc-11 https://developers.redhat.com/blog/2021/01/28/sta

• mhh__ 4y ago
  Unless you build the program around the static analysis you're going to have a bad time. David Malcolm has done a really good job with the analyser but it can't catch everything by virtue of the C type system making it possible to write code that can't be guaranteed either by construction or by making opaque boundaries.