From f8326a45d841a40510a5f35f477775687379b093 Mon Sep 17 00:00:00 2001 From: nils <48135649+Nilstrieb@users.noreply.github.com> Date: Fri, 22 Jul 2022 16:18:58 +0200 Subject: [PATCH] undefined typo --- content/posts/box-is-a-unique-type.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/content/posts/box-is-a-unique-type.md b/content/posts/box-is-a-unique-type.md index ef0873e..c804e55 100644 --- a/content/posts/box-is-a-unique-type.md +++ b/content/posts/box-is-a-unique-type.md @@ -104,7 +104,7 @@ pointers are concerned. # Stacked Borrows and Miri -[Miri](https://github.com/rust-lang/miri) is an interpreter for Rust code with the goal of finding undefinde behaviour. +[Miri](https://github.com/rust-lang/miri) is an interpreter for Rust code with the goal of finding undefined behaviour. Undefined behaviour, UB for short, is behaviour of a program upon which no restrictions are imposed. If UB is executed, _anything_ can happen, including segmentation faults, silent memory corruption, leakage of private keys or exactly what you intended to happen. Examples of UB include use-after-free, out of bounds reads or data races.