diff --git a/src/reading-list/2024a.md b/src/reading-list/2024a.md index a887cc6..9ad5082 100644 --- a/src/reading-list/2024a.md +++ b/src/reading-list/2024a.md @@ -131,9 +131,10 @@ note: inside `main` * :利用宏自动生成这种模式 -* pointer provenance - * Unsafe Code Guidelines Reference: [pointer provenance](https://rust-lang.github.io/unsafe-code-guidelines/glossary.html#pointer-provenance) - * RustLang: [Tracking Issue for strict_provenance](https://github.com/rust-lang/rust/issues/95228) - * RalfJung: [Pointers Are Complicated, or: What's in a Byte?](https://www.ralfj.de/blog/2018/07/24/pointers-and-bytes.html) - * RalfJung: [Pointers Are Complicated II, or: We need better language specs](https://www.ralfj.de/blog/2020/12/14/provenance.html) - * RalfJung: [Pointers Are Complicated III, or: Pointer-integer casts exposed](https://www.ralfj.de/blog/2022/04/11/provenance-exposed.html) +pointer provenance +* Unsafe Code Guidelines Reference: [pointer provenance](https://rust-lang.github.io/unsafe-code-guidelines/glossary.html#pointer-provenance) +* RustLang: [Tracking Issue for strict_provenance](https://github.com/rust-lang/rust/issues/95228) +* RalfJung: [Pointers Are Complicated, or: What's in a Byte?](https://www.ralfj.de/blog/2018/07/24/pointers-and-bytes.html) +* RalfJung: [Pointers Are Complicated II, or: We need better language specs](https://www.ralfj.de/blog/2020/12/14/provenance.html) +* RalfJung: [Pointers Are Complicated III, or: Pointer-integer casts exposed](https://www.ralfj.de/blog/2022/04/11/provenance-exposed.html) +* Gankra: [Rust's Unsafe Pointer Types Need An Overhaul](https://gankra.github.io/blah/fix-rust-pointers/#distinguish-pointers-and-addresses)