C provenance semantics: examples - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Rapport (Rapport Technique) Année : 2019

C provenance semantics: examples

Résumé

This note discusses the design of provenance semantics for C, looking at a series of examples. We consider three variants of the provenance-not-via-integer (PNVI) model: PNVI plain, PNVI address-exposed (PNVI-ae) and PNVI address-exposed user-disambiguation (PNVI-ae-udi), and also the provenance-via-integers (PVI) model. The examples include those of Exploring C Semantics and Pointer Provenance [POPL 2019] (also available as ISO WG14 N2311 http://www.open-std.org/jtc1/sc22/wg14/ www/docs/n2311.pdf), with several additions. This is based on recent discussion in the C memory object model study group. It should be read together with the two companion notes, one giving detailed diffs to the C standard text (N2362), and another giving detailed semantics for these variants (N2364).
Fichier principal
Vignette du fichier
n2363.pdf (785.08 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-02089907 , version 1 (04-04-2019)

Identifiants

  • HAL Id : hal-02089907 , version 1

Citer

Peter Sewell, Kayvan Memarian, Victor B F Gomes, Jens Gustedt, Martin Uecker. C provenance semantics: examples. [Technical Report] N2363, ISO JCT1/SC22/WG14. 2019. ⟨hal-02089907⟩
394 Consultations
608 Téléchargements

Partager

Gmail Mastodon Facebook X LinkedIn More