C provenance semantics: examples
Abstract
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).
Domains
Programming Languages [cs.PL]
Origin : Files produced by the author(s)
Loading...