# Pointer Provenance
###### tags: `sysprog`
- [Prologue : Semantics](https://hackmd.io/s/S1P87jlxN)
- [Cerberus](https://hackmd.io/s/S1Nu7oglN)
- [Pointer Provenance](https://hackmd.io/s/ByCgEolgV)
- [Examples](https://hackmd.io/s/rkIrEjllV)
- [Formal Description](https://hackmd.io/s/BkUGSileV)
- [附錄 A: 使用 Cerberus 追蹤](https://hackmd.io/s/B1-nBilgV)
{"metaMigratedAt":"2023-06-14T19:25:40.441Z","metaMigratedFrom":"Content","title":"Pointer Provenance","breaks":true,"contributors":"[{\"id\":\"98f90f3d-f96e-47cf-bd6b-8f9476eb04d5\",\"add\":1,\"del\":12},{\"id\":\"a8cfb195-063f-43ba-b7fb-a9b7c8c80e1d\",\"add\":404,\"del\":40}]"}
Pointer Provenance
tags: sysprog