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⟩
383 Consultations
593 Téléchargements

Partager

Gmail Facebook X LinkedIn More