Skip to content

Commit f546601

Browse files
committed
Minor wording tweaks.
1 parent 06c52dd commit f546601

File tree

1 file changed

+3
-3
lines changed

1 file changed

+3
-3
lines changed

src/limitations/bounds-imprecision.md

Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -29,12 +29,12 @@ of this imprecise bounding behavior, including:
2929
that non-aliasing can be enforced using CHERI bounds.
3030

3131
- Sub-allocation patterns, where the result of a single call to `malloc()` is used
32-
to allocate two or more related but disjointed objects, possibly of different types.
33-
This is different from custom allocators, because the intent is not to write
32+
to allocate two or more related but disjoint objects, possibly of different types.
33+
This case is different from custom allocators, because the intention is not to write
3434
a memory allocator, but rather to optimise the allocation of multiple
3535
related objects. Consider, for example, the contiguous allocation of an
3636
array and a structure that references the array. In this case, bounds must be
37-
set manually and bounds precision considerations are necessary.
37+
set manually and considering precision will be necessary.
3838

3939
- Other uses of manually set bounds in libraries and applications to limit
4040
the potential for underruns and overruns, such as in packet parsing, which

0 commit comments

Comments
 (0)