From d9fcad8cd6ec6f0469d25a1c6ad640d60a485d1c Mon Sep 17 00:00:00 2001 From: Melody Horn Date: Sun, 25 Oct 2020 11:26:30 -0600 Subject: add fragile keyword --- safety.md | 4 ++++ 1 file changed, 4 insertions(+) (limited to 'safety.md') diff --git a/safety.md b/safety.md index 8a03652..b8a2303 100644 --- a/safety.md +++ b/safety.md @@ -1,5 +1,9 @@ Each item in Wikipedia's [list of types of memory errors](https://en.wikipedia.org/wiki/Memory_safety#Types_of_memory_errors) and what Crowbar does to prevent them. +In general, Crowbar does its best to ensure that code will not exhibit any of the following memory errors. +However, sometimes the compiler knows less than the programmer, and so code that looks dangerous is actually fine. +Crowbar allows programmers to suspend the memory safety checks with the `fragile` keyword. + # Access errors ## Buffer overflow -- cgit v1.2.3