public inbox for gcc-help@gcc.gnu.org
 help / color / mirror / Atom feed
From: Segher Boessenkool <segher@kernel.crashing.org>
To: Florian Weimer <fw@deneb.enyo.de>
Cc: Xi Ruoyao <xry111@mengyan1223.wang>, Jonny Grant <jg@jguk.org>,
	       gcc-help <gcc-help@gcc.gnu.org>
Subject: Re: Recursive SIGSEGV question
Date: Mon, 25 Mar 2019 20:28:00 -0000	[thread overview]
Message-ID: <20190325185454.GM3969@gate.crashing.org> (raw)
In-Reply-To: <87ef6vkq8a.fsf@mid.deneb.enyo.de>

On Mon, Mar 25, 2019 at 03:01:25PM +0100, Florian Weimer wrote:
> * Xi Ruoyao:
> 
> > On 2019-03-25 13:06 +0000, Jonny Grant wrote:
> >> 
> >> I built & ran with the Sanitizer, it seems it's also stack overflow 
> >> within the operator new()
> >> 
> >> I had thoughts GCC would generate code that monitored the stack size and 
> >> aborted with a clear message when the stack size was exceeded. Looked 
> >> online, and it doesn't seem to be the case.
> >
> > Impossible.  We can't distinguish "stack overflow" with other segmentation
> > faults.
> 
> I think “impossible” is too strong.
> 
> It would be possible to annotate implicit probes and explicit probes
> generated by -fstack-clash-protection in DWARF, and use that
> information to generate a more precise error message.
> 
> Or we could set a bit on the guard page that instructs the kernel to
> report an additional fault flag somewhere in siginfo_t.  In fact, with
> protection keys, we could do this today, without any kernel changes
> whatsoever (but protection flags are not widely supported,
> unfortunately).
> 
> The second approach will have false positives, but as buffer overflows
> tend to proceed towards higher addresses and stacks grow downward,
> only really bogus pointers would be misreported (and once you have
> those, all bets are off anyway).

Another thing that could be done is looking if the instruction that
faulted uses the (ABI or arch mandated) stack pointer.  This will catch
most common cases, for example most unbounded recursions.  It isn't
perfect of course but would be quite helpful normally, esp. if it said
something like "this look like a stack overflow".


Segher

  parent reply	other threads:[~2019-03-25 18:56 UTC|newest]

Thread overview: 31+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2019-03-19 22:05 Jonny Grant
2019-03-20  4:02 ` Florian Weimer
2019-03-20  8:11   ` Jonny Grant
2019-03-25 13:23   ` Jonny Grant
2019-03-25 13:27     ` Jonathan Wakely
2019-03-25 13:56     ` Florian Weimer
2019-03-25 14:01     ` Xi Ruoyao
2019-03-25 15:47       ` Florian Weimer
2019-03-25 16:10         ` Andrew Haley
2019-03-25 16:13           ` Jonny Grant
2019-03-25 16:23             ` Jonathan Wakely
2019-03-25 18:51           ` Florian Weimer
2019-03-25 20:39             ` Jonny Grant
2019-03-26  6:50               ` Xi Ruoyao
2019-03-27  0:29                 ` Jonathan Wakely
2019-03-27 21:34             ` Jonny Grant
2019-03-27 23:43               ` Jonathan Wakely
2019-03-27 23:51                 ` Jonny Grant
2019-03-28  8:26                   ` Xi Ruoyao
2019-03-28 11:52                     ` Jonathan Wakely
2019-03-29  2:24                     ` Jonny Grant
2019-03-30 17:32                       ` Jonny Grant
2023-02-19 21:21                       ` Jonny Grant
2023-02-19 21:34                         ` Jonny Grant
2019-03-28 13:55                   ` Jonathan Wakely
2019-03-28 14:39                     ` Jonny Grant
2019-03-28 14:39                       ` Jonathan Wakely
2019-03-25 20:28         ` Segher Boessenkool [this message]
2019-03-25 18:56       ` Segher Boessenkool
2019-03-25 22:05       ` Jonny Grant
2019-03-26 10:20         ` Xi Ruoyao

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=20190325185454.GM3969@gate.crashing.org \
    --to=segher@kernel.crashing.org \
    --cc=fw@deneb.enyo.de \
    --cc=gcc-help@gcc.gnu.org \
    --cc=jg@jguk.org \
    --cc=xry111@mengyan1223.wang \
    /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 read-only IMAP folder(s) and NNTP newsgroup(s).