lkml.org 
[lkml]   [2018]   [Jan]   [9]   [last100]   RSS Feed
Views: [wrap][no wrap]   [headers]  [forward] 
 
Messages in this thread
    /
    From
    Date
    SubjectRe: [PATCH 16/18] net: mpls: prevent bounds-check bypass via speculative execution
    On Tue, Jan 9, 2018 at 8:17 AM, Eric W. Biederman <ebiederm@xmission.com> wrote:
    > Dan Williams <dan.j.williams@intel.com> writes:
    [..]
    > The user controlled value condition of your patchset implies that you
    > assume indirect branch predictor poisoning is handled in other ways.
    >
    > Which means that we can assume speculation will take some variation of
    > the static call chain.
    >
    > Further you are worrying about array accesses. Which means you
    > are worried about attacks that are the equivalent of meltdown that
    > can give you reading of all memory available to the kernel.
    >
    >
    > The mpls code in question reads a pointer from memory.
    >
    >
    > The only thing the code does with that pointer is verify it is not NULL
    > and dereference it.
    >
    > That does not make it possible to extricate the pointer bits via a cache
    > side-channel as a pointer is 64bits wide.
    >
    > There might maybe be a timing attack where it is timed how long the
    > packet takes to deliver. If you can find the base address of the array,
    > at best such a timeing attack will tell you is if some arbitrary cache
    > line is already cached in the kernel. Which is not the class of attack
    > your patchset is worried about. Further there are more direct ways
    > to probe the cache from a local process.
    >
    > So I submit to you that the mpls code is not vulnerable to the class of
    > attack you are addressing.
    >
    > Further I would argue that anything that reads a pointer from memory is
    > a very strong clue that it falls outside the class of code that you are
    > addressing.
    >
    > Show me where I am wrong and I will consider patches.

    No, the concern is a second dependent read (or write) within the
    speculation window after this first bounds-checked dependent read.
    I.e. this mpls code path appears to have the setup condition:

    if (x < max)
    val = array1[x];

    ...but it's not clear that there is an exploit condition later on in
    the instruction stream:

    array2[val] = y;
    /* or */
    y = array2[val];

    My personal paranoia says submit the patch and not worry about finding
    that later exploit condition, if DaveM wants to drop the patch that's
    his prerogative. In general, with the performance conscious version of
    nospec_array_ptr() being the default, why worry about what is / is not
    in the speculation window?

    \
     
     \ /
      Last update: 2018-01-14 23:19    [W:4.379 / U:0.392 seconds]
    ©2003-2020 Jasper Spaans|hosted at Digital Ocean and TransIP|Read the blog|Advertise on this site