Code

Strict Provenance MVP#95241

Code

Merged

bors merged 15 commits intorust-lang:masterrust-lang/rust:masterfrom

Gankra:cleaned-provenanceGankra/rust:cleaned-provenanceCopy head branch name to clipboard

Mar 30, 2022

Commits

Commits on Mar 30, 2022

• Introduce experimental APIs for conforming to "strict provenance".

  Show description for 5167b68
  Gankra

  committed
  5167b68

  Copy full SHA for 5167b68

• Make the stdlib largely conform to strict provenance.

  Show description for c7de289
  Gankra

  committed
  c7de289

  Copy full SHA for c7de289

• Make some rustc code conform to strict provenance.

  Show description for 6864360
  Gankra

  committed
  6864360

  Copy full SHA for 6864360

• Make some linux/unix APIs better conform to strict provenance.

  Show description for 09395f6
  Gankra

  committed
  09395f6

  Copy full SHA for 09395f6

• revert changes that cast functions to raw pointers, portability hazard

  Gankra

  committed
  b608df8

  Copy full SHA for b608df8

• clean up pointer docs

  Gankra

  committed
  31e1cde

  Copy full SHA for 31e1cde

• cleanup some of the less terrifying library code

  Gankra

  committed
  7514d76

  Copy full SHA for 7514d76

• Add even more details to top-level pointer docs

  Gankra

  committed
  9efcd99

  Copy full SHA for 9efcd99

• more review fixes to ptr docs

  Gankra

  committed
  5f720fa

  Copy full SHA for 5f720fa

• mark FIXMES for all the places found that are probably offset_from

  Gankra

  committed
  28576e9

  Copy full SHA for 28576e9

• refine the definition of temporal provenance

  Gankra

  committed
  378ed25

  Copy full SHA for 378ed25

• fix doc link

  Gankra

  committed
  075c576

  Copy full SHA for 075c576

• clarify that WASM has address spaces

  Gankra

  committed
  a91a9ee

  Copy full SHA for a91a9ee

• fixup feature position in liballoc

  Gankra

  committed
  37d4753

  Copy full SHA for 37d4753

• fix unix typedef

  Gankra

  committed
  e3a3afe

  Copy full SHA for e3a3afe