corpus.blog
44,394 blogs · 5,475,563 posts Claim your blog
Record · corpus.blog/posts/01a08c55-b4b8-7099-a566-40c3a1146532

Blue Team Rust: What is "Memory Safety", Really?

tiemoko.com · published 29 July 2020

A record is what was published and who pointed at it. The text of the post is not held here: read it at the source, or at its Wayback capture.

Read the post at tiemoko.com Wayback capture
0blogs citing
First cited
—
Most recent
—
Rank this month
not ranked
External links
52
Words captured
2,327

Cited by

No blog we hold has cited this post yet.

Links from this post

Link
Host
https://www.reddit.com/r/rust/comments/i268wh/blue_team_rust_what_is_memory_safety_really/
reddit.com
https://news.ycombinator.com/item?id=24024876
news.ycombinator.com
https://msrc-blog.microsoft.com/2019/07/16/a-proactive-approach-to-more-secure-code/
msrc-blog.microsoft.com
https://blog.discordapp.com/why-discord-is-switching-from-go-to-rust-a190bbca2b1f
blog.discordapp.com
https://depth-first.com/articles/2020/01/27/rust-ownership-by-example/
depth-first.com
https://crates.io/crates/panic-reset
crates.io
https://cwe.mitre.org/data/definitions/730.html
cwe.mitre.org
https://blog.hackeriet.no/fuzzing-sequoia/
blog.hackeriet.no
https://en.wikipedia.org/wiki/Arbitrary_code_execution
en.wikipedia.org
https://blog.getreu.net/projects/embedded-system-security-with-Rust/
blog.getreu.net
https://doc.rust-lang.org/std/iter/index.html
doc.rust-lang.org
https://heap-exploitation.dhavalkapil.com/
heap-exploitation.dhavalkapil.com
https://cwe.mitre.org/data/definitions/416.html
cwe.mitre.org
https://cwe.mitre.org/data/definitions/415.html
cwe.mitre.org
https://doc.rust-lang.org/book/ch15-06-reference-cycles.html
doc.rust-lang.org
https://doc.rust-lang.org/std/option/enum.Option.html
doc.rust-lang.org
https://doc.rust-lang.org/stable/nomicon/ffi.html
doc.rust-lang.org
https://en.wikipedia.org/wiki/Readers%E2%80%93writers_problem
en.wikipedia.org
https://youtu.be/ADbCqH7_SAs?t=669
youtu.be
https://www.redballoonsecurity.com/publications/papers/Concurrency_Attacks.pdf
redballoonsecurity.com
https://rust-unofficial.github.io/too-many-lists/fourth.html
rust-unofficial.github.io
https://en.wikipedia.org/wiki/Memory-mapped_I/O
en.wikipedia.org
https://github.com/rust-embedded/register-rs
github.com
https://gts3.org/2019/cve-2018-1000657.html
gts3.org
https://en.wikipedia.org/wiki/Foreign_function_interface
en.wikipedia.org
https://arxiv.org/abs/2003.03296
arxiv.org
https://www.usenix.org/system/files/conference/usenixsecurity18/sec18-silvestro.pdf
usenix.org
https://doc.rust-lang.org/std/primitive.slice.html
doc.rust-lang.org
https://rustsec.org/advisories/RUSTSEC-2019-0005.html
rustsec.org
https://youtu.be/NQBVUjdkLAA?t=1413
youtu.be
https://en.wikipedia.org/wiki/Trusted_computing_base
en.wikipedia.org
https://doc.rust-lang.org/book/ch15-05-interior-mutability.html
doc.rust-lang.org
https://crates.io/crates/indextree
crates.io
https://rust-fuzz.github.io/book/afl/tutorial.html
rust-fuzz.github.io
Modern C++ Won't Save Us Read at the source ↗
alexgaynor.net
Rewriting m4vgalib in Rust Read at the source ↗
cliffle.com
https://forge.rust-lang.org/release/platform-support.html
forge.rust-lang.org
https://gcc.gnu.org/install/specific.html
gcc.gnu.org
https://www.youtube.com/watch?v=Dvug1Hup2iA
youtube.com
https://blog.japaric.io/stack-overflow-protection/
blog.japaric.io
https://en.wikipedia.org/wiki/EEPROM
en.wikipedia.org
https://doc.rust-lang.org/cargo/
doc.rust-lang.org
https://doc.rust-lang.org/cargo/reference/specifying-dependencies.html
doc.rust-lang.org
https://git-scm.com/book/en/v2/Git-Tools-Submodules
git-scm.com
https://doc.rust-lang.org/cargo/reference/profiles.html
doc.rust-lang.org
Myths and Legends about Integer Overflow in Rust Read at the source ↗
huonw.github.io
https://en.wikipedia.org/wiki/Substructural_type_system
en.wikipedia.org
https://en.wikipedia.org/wiki/Hardware_abstraction
en.wikipedia.org
https://ericpony.github.io/z3py-tutorial/guide-examples.htm
ericpony.github.io
https://en.wikipedia.org/wiki/Hoare_logic
en.wikipedia.org
https://en.wikipedia.org/wiki/SPARK_(programming_language
en.wikipedia.org
https://rustacean.net/
rustacean.net