On Wed, Dec 11, 2019 at 10:59:37AM +0100, Willy Tarreau wrote:
> On Wed, Dec 11, 2019 at 10:22:25AM +0300, Alexey Dobriyan wrote:
> > On Tue, Dec 10, 2019 at 05:47:26PM -0800, Andrew Morton wrote:
> > > On Sun, 8 Dec 2019 20:19:18 +0300 Alexey Dobriyan <adobriyan@xxxxxxxxx> wrote:
> > >
> > > > There were few episodes of silent downgrade to an executable stack over
> > > > years:
> > > >
> > > > 1) linking innocent looking assembly file will silently add executable
> > > > stack if proper linker options is not given as well:
> > > >
> > > > $ cat f.S
> > > > .intel_syntax noprefix
> > > > .text
> > > > .globl f
> > > > f:
> > > > ret
> > > >
> > > > $ cat main.c
> > > > void f(void);
> > > > int main(void)
> > > > {
> > > > f();
> > > > return 0;
> > > > }
> > > >
> > > > $ gcc main.c f.S
> > > > $ readelf -l ./a.out
> > > > GNU_STACK 0x0000000000000000 0x0000000000000000 0x0000000000000000
> > > > 0x0000000000000000 0x0000000000000000 RWE 0x10
> > > > ^^^
> > > >
> > > > 2) converting C99 nested function into a closure
> > > > https://nullprogram.com/blog/2019/11/15/
> > > >
> > > > void intsort2(int *base, size_t nmemb, _Bool invert)
> > > > {
> > > > int cmp(const void *a, const void *b)
> > > > {
> > > > int r = *(int *)a - *(int *)b;
> > > > return invert ? -r : r;
> > > > }
> > > > qsort(base, nmemb, sizeof(*base), cmp);
> > > > }
> > > >
> > > > will silently require stack trampolines while non-closure version will not.
> > > >
> > > > Without doubt this behaviour is documented somewhere, add a warning so that
> > > > developers and users can at least notice. After so many years of x86_64 having
> > > > proper executable stack support it should not cause too many problems.
> > >
> > > hm, OK, let's give it a trial run.
> > >
> > > > --- a/fs/exec.c
> > > > +++ b/fs/exec.c
> > > > @@ -761,6 +761,11 @@ int setup_arg_pages(struct linux_binprm *bprm,
> > > > goto out_unlock;
> > > > BUG_ON(prev != vma);
> > > >
> > > > + if (unlikely(vm_flags & VM_EXEC)) {
> > > > + pr_warn_once("process '%pD4' started with executable stack\n",
> > > > + bprm->file);
> > > > + }
> > > > +
> > > > /* Move stack pages down in memory. */
> > > > if (stack_shift) {
> > > > ret = shift_arg_pages(vma, stack_shift);
> > >
> > > What are poor users supposed to do if this message comes out?
> > > Hopefully google the message and end up at this thread. What do you
> > > want to tell them?
> >
> > Me? Nothing :-) They hopefully should file tickets against distros and ISV,
> > post egregious examples to oss-security.
> >
> > Like they already do against this warning!
> > > ACPI: [Firmware Bug]: BIOS _OSI(Linux) query ignored
>
> Alexey, Andrew is right. Your message gives no instruction and users are
> already flooded with messages they got used to ignore. A warning is made
> to catch attention so it should give instructions. It can either say
> "this application relies on insecure capabilities and might not work
> anymore in the future, you should report this to its author",
"Insecure" is an accusation and baseless until source code is seen.
This program is secure despite having executable stack.
.globl _start
_start:
mov eax, 60
xor edi, edi
syscall
"Might not work" is false, because PT_GNU_STACK is not going anywhere and
the default is not flipped and applications with executable stack aren't
going to become rejected. This patch is not about starting deprecation
executable stacks programme.
Ideally distros which don't have post build check implement one after
seeing few reports and someone reports few cases to ISV who aren't
clueless as well.
> or "report
> this to kernel developers if you think this warning is inappropriate".
Reports are better be done by people who know what they are doing, as in
understand what executable stack is and what does it mean in reality.
> Otherwise it will just go to /dev/null with all warning about bad blocks
> on USB sticks and CPU core throttling under high temperature.
That's fine. You don't want bugreports from people who don't know what
is executable stack. Every security bug bounty program is flooded by
such people. This is why message is worded in a neutral way.
