From 18055891413618eae305f953b75e9ad3f8c86c18 Mon Sep 17 00:00:00 2001 From: Dave Smith Date: Wed, 16 Jan 2019 18:01:16 -0600 Subject: [PATCH] Pro.bounds: Correct impact wording (minor) (#1316) --- CppCoreGuidelines.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/CppCoreGuidelines.md b/CppCoreGuidelines.md index 40dcc3b..4a154e5 100644 --- a/CppCoreGuidelines.md +++ b/CppCoreGuidelines.md @@ -20376,7 +20376,7 @@ Bounds safety profile summary: Bounds safety implies that access to an object - notably arrays - does not access beyond the object's memory allocation. This eliminates a large class of insidious and hard-to-find errors, including the (in)famous "buffer overflow" errors. This closes security loopholes as well as a prominent source of memory corruption (when writing out of bounds). -Even an out-of-bounds access is "just a read", it can lead to invariant violations (when the accessed isn't of the assumed type) +Even if an out-of-bounds access is "just a read", it can lead to invariant violations (when the accessed isn't of the assumed type) and "mysterious values."