Skip to content

Commit

Permalink
quantifying more explicitly over all clients
Browse files Browse the repository at this point in the history
  • Loading branch information
RalfJung committed Aug 6, 2019
1 parent 95995e5 commit 3597e8f
Showing 1 changed file with 5 additions and 5 deletions.
10 changes: 5 additions & 5 deletions src/behavior-considered-undefined.md
Original file line number Diff line number Diff line change
Expand Up @@ -6,11 +6,11 @@ list. This includes code within `unsafe` blocks and `unsafe` functions.
does not change anything about the fact that Rust programs must never cause
undefined behavior.

It is the programmer's responsibility when writing `unsafe` code to ensure that it is not
possible to let `safe` code exhibit these behaviors. `unsafe` code that
satisfies this property for any safe client is called *sound*; if `unsafe`
code can be misused by safe code to exhibit undefined behavior, it is
*unsound*.
It is the programmer's responsibility when writing `unsafe` code to ensure that
any safe code interacting with the `unsafe` code cannot trigger these
behaviors. `unsafe` code that satisfies this property for any safe client is
called *sound*; if `unsafe` code can be misused by safe code to exhibit
undefined behavior, it is *unsound*.

<div class="warning">

Expand Down

0 comments on commit 3597e8f

Please sign in to comment.