On Wed, Aug 14, 2024 at 05:21:44PM +0100, Mark Brown wrote:
On Wed, Aug 14, 2024 at 04:09:51PM +0100, Dave Martin wrote:
On Thu, Aug 01, 2024 at 01:06:51PM +0100, Mark Brown wrote:
- if (add_all || task_gcs_el0_enabled(current)) {
err = sigframe_alloc(user, &user->gcs_offset,sizeof(struct gcs_context));if (err)return err;- }
Who turns on GCS? I have a concern that if libc is new enough to be built for GCS then the libc startup code will to turn it on, even if the binary stack running on top of libc is old.
It should normally be the dynamic linker which should be looking for annotatations in the binaries it's loading before it decides if it's going to turn on GCS (and libc doing something similar if it's going to dlopen() things in a process with GCS enabled).
My thought was that if libc knows about shadow stacks, it is probably going to be built to use them too and so would enable shadow stack during startup to protect its own code.
(Technically those would be independent decisions, but it seems a good idea to use a hardening feature if you know about and it is present.)
If so, shadow stacks might always get turned on before the main program gets a look-in.
Or is that not the expectation?
Is there any scenario where it is legitimate for the signal handler to change the shadow stack mode or to return with an altered GCSPR_EL0?
If userspace can rewrite the stack pointer on return (eg, to return to a different context as part of userspace threading) then it will need to
Do we know if code that actually does that? IIUC, trying to do this is totally broken on most arches nowadays; making it work requires a reentrant C library and/or logic to defer signals around critical sections in userspace.
"Real" threading makes this pretty pointless for the most part.
Related question: does shadow stack work with ucontext-based coroutines? Per-context stacks need to be allocated by the program for that.
be able to also update GCSPR_EL0 to something consistent otherwise attempting to return from the interrupted context isn't going to go well. Changing the mode is a bit more exotic, as it is in general. It's as much to provide information to the signal handler as anything else.
I'm not sure that we should always put information in the signal frame that the signal handler can't obtain directly.
I guess it's harmless to include this, though.
Is the guarded stack considered necessary (or at least beneficial) for backtracing, or is the regular stack sufficient?
It's potentially beneficial, being less vulnerable to corruption and simpler to parse if all you're interested in is return addresses. Profiling in particular was mentioned, grabbing a linear block of memory will hopefully be less overhead than chasing down the stack. The regular stack should generally be sufficient though.
I guess we can't really argue that the shadow stack pointer is redundant here though. The whole point of shadow stacks is to make things more robust...
Just kicking the tyres on the question of whether we need it here, but I guess it's hard to make a good case for saying "no".
Cheers ---Dave