Categories
Tags
3d ABI Actions algorithms alignment analyze APIT Arc Architecture arm array ascii ash assembly asynchronous attribute base64 bithacks Blogging box c c23 cdylib CHAR_BIT clamp clang clang-format client clippy cmake compiler Computer concat concurrency const_fn constexpr contravariant cos covariant cpp cpu crate CS Customization cybersecurity DataStructure db debugging Demo deserialization discrete dll doc DP drawio dtruss dylib Dynamic emulator example Example FFI ffmpeg flamegraph flat_map fold format FP fsanitize Functional FunctionalProgramming functions futures Fuwari game GATs gcc gccrs generics gitignore glibc GUI hacking hashmap haskell heap hyperfine Imperative inference intel interop invariant iterator join justfile kernel LaTeX leak LFU limits linux lto MachineLearning macOS map Markdown math ML mmap mod mp3 nc nextest OnceLock optimization OS ownership panic parallels perf physics pin postgresql procedure product profiling pub radare2 rayon release reverse RPIT rust sanitizer Science science serialization server shift SIMD sin size SmallProjects so socket std strace String StringView strip strlen struct sum super surrealdb SWAR swisstable synchronous syscall tan test thread time toml tracing traits trap triangulation type uint32_t UnsafeRust utf16 utf8 vector Video vulkan wsl x86_64 xilem zig
63 words
1 minutes
Rust_Memory_Safety
link
Rust memory Safety
| Memory Bug | How Rust Prevents It |
|---|---|
| Use-after-free | Ownership system; compiler rejects access after move |
| Double-free | Single ownership; only one drop |
| Dangling pointers | Lifetime analysis at compile time |
| Data races | Borrowing rules + Send/Sync traits |
| Buffer overflows | Bounds checking on array access; the type system also statically checks some buffers |
| Null dereference | Option<T> forces handing |
Rust_Memory_Safety
https://younghakim7.github.io/blog/posts/rust_memory_safety/