diff options
author | Melody Horn <melody@boringcactus.com> | 2020-10-25 11:26:30 -0600 |
---|---|---|
committer | Melody Horn <melody@boringcactus.com> | 2020-10-25 11:26:30 -0600 |
commit | d9fcad8cd6ec6f0469d25a1c6ad640d60a485d1c (patch) | |
tree | 9c968b7e01bb0d51ae0626d47f4f13fe878df720 /safety.md | |
parent | f1fcbe3d5bf5158f39b89f0eb3677db50fb2f8fd (diff) | |
download | spec-d9fcad8cd6ec6f0469d25a1c6ad640d60a485d1c.tar.gz spec-d9fcad8cd6ec6f0469d25a1c6ad640d60a485d1c.zip |
add fragile keyword
Diffstat (limited to 'safety.md')
-rw-r--r-- | safety.md | 4 |
1 files changed, 4 insertions, 0 deletions
@@ -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
|