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
|