kernellogger, "'"[…] for #GCC 14 I've implemented new warning: -Wanalyzer-infinite-loop that's able to detect some simple cases of infinite loops. […]
"[…] added the ability for the analyzer to emit text-based diagrams visualizing the spatial relationships in a predicted buffer overflow […]
[…] better tracking C string operations […]
[…] form of "taint analysis" […] I enabled this by default when -fanalyzer is selected. This also enables these 6 taint-based warnings […]"'"
https://developers.redhat.com/articles/2024/04/03/improvements-static-analysis-gcc-14-compiler#
Add comment