GCC 11 Beefs Up Its Static Analyzer Capabilities

[phoronix]

Phoronix: GCC 11 Beefs Up Its Static Analyzer Capabilities

Added to the GNU Compiler Collection (GCC) last year was an integrated static analyzer via the "-fanalyzer" option for spotting potential code issues. For GCC 10 this integrated static analyzer operating off GCC's GIMPLE was in good shape for catching various bugs while for the upcoming GCC 11 it is now much more capable...

http://www.phoronix.com/scan.php?page=news_item&px=GCC-11-Better-Static-Analysis

[pal666]

The analyzer’s state-tracking component in GCC 10 had many crasher bugs

it looks like we need second order analyzer to analyze analyzer's sources