Un travail de plusieurs années — mené par Kayvan Memarian et Peter Sewell (Université de Cambridge, Royaume-Uni), Martin Uecker (Université de technologie de Graz, Autriche), et moi-même (ICube/Inria, France) — a abouti à une étape majeure pour le langage de programmation C : l’adoption d’un modèle standardisé de provenance des pointeurs.