-fanalyzer, который выполняет межпроцедурный анализ путей выполнения кода и потоков данных в программе. При выявлении проблем показывает проблемные участки кода с помощью ASCII графики. В этом режиме GCC способен на этапе компиляции выявлять такие проблемы, как двойной вызов функции free() для одной области памяти, утечки файловых дескрипторов, разыменование и передачу нулевых указателей, обращение к освобождённым блокам памяти, использование неинициализированных значений и т.п.Подробное описание от автора фичи - https://developers.redhat.com/blog/2020/03/26/static-analysis-in-gcc-10/