Open2

Provenance-aware Memory Object Model for C

  • PNVI (provenance-not-via-integer) model
    • PNVI plain
    • PNVI-ae (address-exposed)
    • PNVI-ae-udi (address-exposed user-disambiguation)
  • PVI (provenance-via-integers) model
ログインするとコメントできます