Navigation
Recherche
|
Improvements to static analysis in the GCC 14 compiler
mercredi 3 avril 2024, 22:06 , par OS News
I work at Red Hat on GCC, the GNU Compiler Collection. For the last five releases of GCC, I’ve been working on -fanalyzer, a static analysis pass that tries to identify various problems at compile-time, rather than at runtime. It performs “symbolic execution” of C source code—effectively simulating the behavior of the code along the various possible paths of execution through it.
This article summarizes what’s new with -fanalyzer in GCC 14, which I hope will be officially released sometime in April 2024. ↫ David Malcolm No matter how many more of you become a Patreon to keep OSNews alive, I’ll never be able to really add anything meaningful to articles like these.
https://www.osnews.com/story/139147/improvements-to-static-analysis-in-the-gcc-14-compiler/
Voir aussi |
56 sources (32 en français)
Date Actuelle
lun. 29 avril - 19:30 CEST
|