« GCC 4.2 propose également des options pour rendre plus strict le contrôle du code lors de la compilation. En passant les options -fstrict-overflow et -Wstrict-overflow on peut maintenant se rendre compte d'erreurs du type débordement de la pile. »
En fait les options -(f|W)strict-overflow font des vérifications sur les débordements d'entiers, ce qui est carrément mieux vu qu'on avais déjà -Wstack-protector et -fstack-protector (+ des choses dans le noyau, dans la glibc, et le bit NX dans les processeurs récents) pour protéger la pile, et que les débordements d'entiers sont vraiment un type de bug fort à la mode dans les problèmes de sécurité depuis quelques temps :
« -fstrict-overflow tells the compiler that it may assume that the program follows the strict signed overflow semantics permitted for the language: for C and C++ this means that the compiler may assume that signed overflow does not occur. » [http://gcc.gnu.org/gcc-4.2/changes.html].
# strict-overflow
Posté par herodiade . En réponse à la dépêche Sortie de GCC 4.2. Évalué à 2.
En fait les options -(f|W)strict-overflow font des vérifications sur les débordements d'entiers, ce qui est carrément mieux vu qu'on avais déjà -Wstack-protector et -fstack-protector (+ des choses dans le noyau, dans la glibc, et le bit NX dans les processeurs récents) pour protéger la pile, et que les débordements d'entiers sont vraiment un type de bug fort à la mode dans les problèmes de sécurité depuis quelques temps :
« -fstrict-overflow tells the compiler that it may assume that the program follows the strict signed overflow semantics permitted for the language: for C and C++ this means that the compiler may assume that signed overflow does not occur. » [http://gcc.gnu.org/gcc-4.2/changes.html].