# 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}]"}
Expand menu