Une analyse pour détecter les violations de strict aliasing - Pascal Cuoq (Guest) - LSE Week 2016
Channel: lseepita
Date: 2016-07-26

La règle du strict aliasing, présente dans le standard C depuis C89, n'est pas très connue dans le monde des développeurs C. Or, les principaux compilateurs (GCC et Clang) mettent cette règle à profit pour effectuer des optimisations agressives, quite à ce que le code optimisé ne corresponde pas à l'intention du développeur ignorant ces subtilités. 
La méconnaissance de la règle et la recherche de performance des compilateurs peut donc causer des problèmes difficile à localiser (cf. le noyau Linux), éventuellement ayant des conséquences sur la sécurité. 
Pour détecter les violations de la règle du strict aliasing, une analyse est en cours de mise au point au sein de l'analyseur statique TIS Analyzer, qui formalise la règle de strict aliasing, et vérifie que le programme analysé la respecte.

Slides: https://lse.epita.fr/lse-summer-week-2016/#16

And thanks to GCONFS for the live stream and videos ! https://www.youtube.com/user/GConfs