| From | Kees Cook <> | Date | Tue, 16 Jan 2018 13:01:09 -0800 | Subject | Re: [PATCH v2 01/19] Documentation: document array_ptr |
| |
On Thu, Jan 11, 2018 at 4:46 PM, Dan Williams <dan.j.williams@intel.com> wrote: > From: Mark Rutland <mark.rutland@arm.com> > > Document the rationale and usage of the new array_ptr() helper. > > Signed-off-by: Mark Rutland <mark.rutland@arm.com> > Signed-off-by: Will Deacon <will.deacon@arm.com> > Cc: Dan Williams <dan.j.williams@intel.com> > Cc: Jonathan Corbet <corbet@lwn.net> > Cc: Peter Zijlstra <peterz@infradead.org> > Signed-off-by: Dan Williams <dan.j.williams@intel.com> > --- > Documentation/speculation.txt | 142 +++++++++++++++++++++++++++++++++++++++++ > [...] > +NULL is returned. Additionally, array_ptr() an out-of-bounds poitner is > +not propagated to code which is speculatively executed.
I think this meant to say:
Additionally, array_ptr() of an out-of-bounds pointer is not propagated to code which is speculatively executed.
Other than that:
Reviewed-by: Kees Cook <keescook@chromium.org>
-Kees
-- Kees Cook Pixel Security
|