From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.6 (2021-04-09) on
	ip-172-31-65-14.ec2.internal
X-Spam-Level: 
X-Spam-Status: No, score=-1.9 required=3.0 tests=BAYES_00,T_SCC_BODY_TEXT_LINE
	autolearn=ham autolearn_force=no version=3.4.6
Path: eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail
From: Simon Wright <simon@pushface.org>
Newsgroups: comp.lang.ada
Subject: Re: Warning: requires executable stack...
Date: Fri, 28 Apr 2023 08:26:17 +0100
Organization: A noiseless patient Spider
Message-ID: <lyr0s4a2na.fsf@pushface.org>
References: <47c0e248-bc1e-4784-8eed-8a8a64758be7n@googlegroups.com>
MIME-Version: 1.0
Content-Type: text/plain
Injection-Info: dont-email.me; posting-host="0782f61db2c1d79eae177b947c80fb01";
	logging-data="2482931"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX1/PqiuoJYUgKNE3M3fggrDEE2DJ4Q9bZJI="
User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/28.1 (darwin)
Cancel-Lock: sha1:D6LT6SXNYFGSEhD6+IhApMrRGuo=
	sha1:1197S17zYlVDeWseTXTJkrFzNNE=
Xref: news.eternal-september.org comp.lang.ada:65159
List-Id: <comp.lang.ada>

reinert <reinkor@gmail.com> writes:

> ...../.config/alire/cache/dependencies/gnat_native_12.2.1_11f3b811/bin/../lib/gcc/x86_64-pc-linux-gnu/12.2.0/../../../../x86_64-pc-linux-gnu/bin/ld:
> warning: kobio0.o: requires executable stack (because the
> .note.GNU-stack section is executable)

Creating executable code on the stack is one way of getting malicious
code past virus checkers. Modern OSs will prevent this approach.

So far as I know, GNAT will only do this to implement "trampolines", but see
here:
https://docs.adacore.com/live/wave/gnat_rm/html/gnat_rm/gnat_rm/standard_and_implementation_defined_restrictions.html#no-implicit-dynamic-code