linux-kernel.vger.kernel.org archive mirror
 help / color / mirror / Atom feed
From: Kees Cook <keescook@chromium.org>
To: Josh Poimboeuf <jpoimboe@redhat.com>
Cc: LKML <linux-kernel@vger.kernel.org>,
	Peter Zijlstra <peterz@infradead.org>,
	PaX Team <pageexec@freemail.hu>, Jann Horn <jannh@google.com>,
	Eric Biggers <ebiggers3@gmail.com>,
	Christoph Hellwig <hch@infradead.org>,
	"axboe@kernel.dk" <axboe@kernel.dk>,
	James Bottomley <James.Bottomley@hansenpartnership.com>,
	Elena Reshetova <elena.reshetova@intel.com>,
	Hans Liljestrand <ishkamiel@gmail.com>,
	David Windsor <dwindsor@gmail.com>,
	"x86@kernel.org" <x86@kernel.org>, Ingo Molnar <mingo@kernel.org>,
	Arnd Bergmann <arnd@arndb.de>,
	Greg Kroah-Hartman <gregkh@linuxfoundation.org>,
	"David S. Miller" <davem@davemloft.net>,
	Rik van Riel <riel@redhat.com>,
	linux-arch <linux-arch@vger.kernel.org>,
	"kernel-hardening@lists.openwall.com" 
	<kernel-hardening@lists.openwall.com>
Subject: Re: [PATCH v2 2/2] x86, refcount: Implement fast refcount overflow protection
Date: Mon, 1 May 2017 10:28:53 -0700	[thread overview]
Message-ID: <CAGXu5j+OKnHB2POjyBMGc8RXWbgDzi3xiZFBa5Jz0-jNJeOpqg@mail.gmail.com> (raw)
In-Reply-To: <20170501155454.iujra24k3f65xwkq@treble>

On Mon, May 1, 2017 at 8:54 AM, Josh Poimboeuf <jpoimboe@redhat.com> wrote:
> On Thu, Apr 27, 2017 at 01:22:05PM -0700, Kees Cook wrote:
>> On Wed, Apr 26, 2017 at 6:31 PM, kbuild test robot <lkp@intel.com> wrote:
>> > Hi Kees,
>> >
>> > [auto build test WARNING on next-20170424]
>> > [cannot apply to tip/x86/core linus/master linux/master v4.9-rc8 v4.9-rc7 v4.9-rc6 v4.11-rc8]
>> > [if your patch is applied to the wrong git tree, please drop us a note to help improve the system]
>> >
>> > url:    https://github.com/0day-ci/linux/commits/Kees-Cook/x86-refcount-Implement-fast-refcount-overflow/20170426-210530
>> > config: x86_64-allmodconfig (attached as .config)
>> > compiler: gcc-6 (Debian 6.2.0-3) 6.2.0 20160901
>> > reproduce:
>> >         # save the attached .config to linux build tree
>> >         make ARCH=x86_64
>> >
>> > All warnings (new ones prefixed by >>):
>> >
>> >>> drivers//scsi/scsi_scan.o: warning: objtool: .text.refcount_overflow+0x5: special: can't find orig instruction
>>
>> Hi Josh,
>>
>> I'm seeing this error being generated on areas that are using a
>> cross-section exception handler. I can't quite see why the .o checker
>> is unhappy, so I figured I'd ask you first. :)
>>
>> The code is generated with calls to __REFCOUNT_CHECK() which is
>> defined like this:
>>
>> +#define __REFCOUNT_EXCEPTION(size)                     \
>> +       ".if "__stringify(size)" == 4\n\t"              \
>> +       ".pushsection .text.refcount_overflow\n"        \
>> +       ".elseif "__stringify(size)" == -4\n\t"         \
>> +       ".pushsection .text.refcount_underflow\n"       \
>> +       ".else\n"                                       \
>> +       ".error \"invalid size\"\n"                     \
>> +       ".endif\n"                                      \
>> +       "111:\tlea %[counter],%%"_ASM_CX"\n\t"          \
>> +       "int $"__stringify(X86_REFCOUNT_VECTOR)"\n"     \
>> +       "222:\n\t"                                      \
>> +       ".popsection\n"                                 \
>> +       "333:\n"                                        \
>> +       _ASM_EXTABLE(222b, 333b)
>> +
>> +#define __REFCOUNT_CHECK(size)                         \
>> +       "js 111f\n"                                     \
>> +       __REFCOUNT_EXCEPTION(size)
>> +
>> +#define __REFCOUNT_ERROR(size)                         \
>> +       "jmp 111f\n"                                    \
>> +       __REFCOUNT_EXCEPTION(size)
>>
>> I assume it doesn't like seeing an exception split across .text and
>> .text.refcount_overflow, but I haven't been able to figure out how
>> that distinction would be made by the checker. :P
>
> This code uses the exception table a little differently than normal.
> Usually it's used for catching page faults, where the exception table
> points to the faulting instruction.
>
> But instead of a page fault, here it's doing a software interrupt.  So
> the __ex_table entry doesn't point to the 'int 0x81' instruction, it
> points to the instruction immediately after it.  In this case there
> isn't actually an instruction there, which is why objtool is
> complaining.

What would it take to adjust objtool for this case?

>
> Is it superfluous to use the exception table here, when a simple 'jmp
> 333f' could be used instead after the 'int'?

I thought the exception tables were needed to have the trap handler
notice it correctly, and do the right thing as far as continuing
execution. (This is currently written as a survivable condition: the
kernel can keep running even though it will kill the userspace
process.)

> Also it looks like the handler sends a SIGKILL to the current task.  I
> wonder if something like BUG_ON() could be used instead of implementing
> a custom error interrupt.

It's a rate limited report, but it must always kill. BUG doesn't fit
this usage case (I've got similar problems with other areas; my
intention is go create something that is configurable WARN vs Oops,
respects panic_on_oops, etc, but this doesn't exist yet).

-Kees

-- 
Kees Cook
Pixel Security

  reply	other threads:[~2017-05-01 17:29 UTC|newest]

Thread overview: 15+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2017-04-25 22:56 [PATCH v2 0/2] x86, refcount: Implement fast refcount overflow Kees Cook
2017-04-25 22:56 ` [PATCH v2 1/2] x86, asm: Add suffix macro for GEN_*_RMWcc() Kees Cook
2017-04-25 22:56 ` [PATCH v2 2/2] x86, refcount: Implement fast refcount overflow protection Kees Cook
2017-04-26  0:25   ` Jann Horn
2017-04-26  3:52     ` Kees Cook
2017-04-27  1:31   ` kbuild test robot
2017-04-27 20:22     ` Kees Cook
2017-05-01 15:54       ` Josh Poimboeuf
2017-05-01 17:28         ` Kees Cook [this message]
2017-05-01 22:33           ` Josh Poimboeuf
2017-05-01 16:30   ` Josh Poimboeuf
2017-05-01 17:36     ` Kees Cook
2017-05-01 22:45       ` Josh Poimboeuf
2017-04-26  2:01 ` [PATCH v2 0/2] x86, refcount: Implement fast refcount overflow PaX Team
2017-04-26  3:59   ` Kees Cook

Reply instructions:

You may reply publicly to this message via plain-text email
using any one of the following methods:

* Save the following mbox file, import it into your mail client,
  and reply-to-all from there: mbox

  Avoid top-posting and favor interleaved quoting:
  https://en.wikipedia.org/wiki/Posting_style#Interleaved_style

* Reply using the --to, --cc, and --in-reply-to
  switches of git-send-email(1):

  git send-email \
    --in-reply-to=CAGXu5j+OKnHB2POjyBMGc8RXWbgDzi3xiZFBa5Jz0-jNJeOpqg@mail.gmail.com \
    --to=keescook@chromium.org \
    --cc=James.Bottomley@hansenpartnership.com \
    --cc=arnd@arndb.de \
    --cc=axboe@kernel.dk \
    --cc=davem@davemloft.net \
    --cc=dwindsor@gmail.com \
    --cc=ebiggers3@gmail.com \
    --cc=elena.reshetova@intel.com \
    --cc=gregkh@linuxfoundation.org \
    --cc=hch@infradead.org \
    --cc=ishkamiel@gmail.com \
    --cc=jannh@google.com \
    --cc=jpoimboe@redhat.com \
    --cc=kernel-hardening@lists.openwall.com \
    --cc=linux-arch@vger.kernel.org \
    --cc=linux-kernel@vger.kernel.org \
    --cc=mingo@kernel.org \
    --cc=pageexec@freemail.hu \
    --cc=peterz@infradead.org \
    --cc=riel@redhat.com \
    --cc=x86@kernel.org \
    /path/to/YOUR_REPLY

  https://kernel.org/pub/software/scm/git/docs/git-send-email.html

* If your mail client supports setting the In-Reply-To header
  via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).