yohhoy

<p><a href="https://www.iso.org/standard/81899.html" target="_blank" rel="nofollow noopener noreferrer">ISO/IEC CD TS 6010 A Provenance-aware Memory Object Model for C</a></p>
<p>Draft <a href="https://www.open-std.org/jtc1/sc22/wg14/www/docs/n3005.pdf" target="_blank" rel="nofollow noopener noreferrer">WG14/N3005 (WG21/P2318R2?)</a></p>
<h2 id="wg14">
<a class="header-anchor-link" href="#wg14" aria-hidden="true"></a> WG14</h2>
<ul>
<li><a href="http://www.open-std.org/jtc1/sc22/wg14/www/docs/dr_260.htm" target="_blank" rel="nofollow noopener noreferrer">Defect Report #260</a></li>
<li><a href="http://www.open-std.org/jtc1/sc22/wg14/www/docs/n2311.pdf" target="_blank" rel="nofollow noopener noreferrer">N2311 Exploring C Semantics and Pointer Provenance</a></li>
<li><a href="https://www.open-std.org/jtc1/sc22/wg14/www/docs/n2363.pdf" target="_blank" rel="nofollow noopener noreferrer">N2363 C provenance semantics: examples</a></li>
<li><a href="https://www.open-std.org/jtc1/sc22/wg14/www/docs/n2364.pdf" target="_blank" rel="nofollow noopener noreferrer">N2364 C provenance semantics: detailed semantics</a></li>
</ul>
<h2 id="articles">
<a class="header-anchor-link" href="#articles" aria-hidden="true"></a> articles</h2>
<ul>
<li><a href="https://qiita.com/__pandaman64__/items/1788a90ae5be79cc908b" target="_blank" rel="nofollow noopener noreferrer">旧石器時代のポインタをご利用の皆様へ ～provenance入門～ - Qiita</a></li>
</ul>


<ul>
<li>PVI (provenance-via-integers) model</li>
<li>PNVI (provenance-not-via-integer) model
<ul>
<li>PNVI plain</li>
<li>PNVI-ae (address-exposed)</li>
<li>
<strong>PNVI-ae-udi (address-exposed user-disambiguation)</strong> (TS 6010)</li>
</ul>
</li>
</ul>
