From e843077d1d673019518055c47dc39c7098993b0c Mon Sep 17 00:00:00 2001 From: Ralf Jung Date: Thu, 25 Jul 2019 19:38:55 +0200 Subject: [PATCH] link to UB definition --- README.md | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/README.md b/README.md index 6b6a274f3fb..6934c453de4 100644 --- a/README.md +++ b/README.md @@ -3,7 +3,8 @@ An experimental interpreter for [Rust][rust]'s [mid-level intermediate representation][mir] (MIR). It can run binaries and -test suites of cargo projects and detect certain classes of undefined behavior, +test suites of cargo projects and detect certain classes of +[undefined behavior](https://doc.rust-lang.org/reference/behavior-considered-undefined.html), for example: * Out-of-bounds memory accesses and use-after-free