Le modèle de provenance définit comment tracer l’origine des valeurs de pointeurs à l’exécution des programmes.
La spécification formalisée TS 6010 remplace l’ambiguïté du standard C existant et guide la convergence des outils industriels.
Une instance de stockage correspond à la région maximale de mémoire associée à une allocation ou à une définition de variable.
La provenance d’un pointeur est l’instance de stockage vers laquelle il pointe, ce qui permet de déterminer les alias.
L’exposition d’un pointeur survient lorsqu’on lit ou convertit ses octets individuellement, empêchant des optimisations basées sur la provenance.
La synthèse d’un pointeur à partir de conversions d’entiers ou de lectures partielles d’octets marque le pointeur comme non fiable pour l’optimisation.
Pour garantir des optimisations sûres, il faut éviter d’exposer les pointeurs, notamment en limitant les conversions vers/depuis des entiers et les accès octet à octet.
Get notified when new stories are published for "🇫🇷 Hacker News Français"