GCC 14 cuenta con un bonito arte ASCII para visualizar desbordamientos de búfer
David Malcolm del equipo de compiladores de Red Hat publicó su publicación anual en el blog que resume las mejoras en el análisis estático que se encontrarán con la próxima versión del compilador estable GCC 14.
Malcolm ha continuado trabajando en el soporte del analizador estático (-fanalyzer) para la Colección de compiladores GNU con aún más mejoras en esta área. Por un lado, GCC 14 obtiene una nueva opción "-Wanalyzer-infinite-loop" para intentar detectar casos simples en los que se producen bucles infinitos.
A partir de las advertencias de fuera de límites del analizador de GCC 13, el compilador GCC 14 ofrece visualizaciones mejoradas para desbordamientos de búfer. Malcolm ha elaborado algunos diagramas interesantes basados en texto para mostrar mejor las advertencias de desbordamiento del búfer para que los desarrolladores puedan comprender mejor el problema. Aquí hay dos ejemplos compartidos por David Malcolm del arte ASCII mejorado para visualizar un desbordamiento del búfer:
El analizador GCC 14 también tiene soporte mejorado para analizar operaciones de cadenas C, -fanalyzer ahora habilita nuevas advertencias basadas en contaminación y más.
Se
espera el lanzamiento estable del compilador GCC 14.1 en las próximas
semanas. Más detalles sobre estas mejoras del analizador estático GCC 14
a través del blog de Red Hat Developers.