31 May 2024 10:05:19 Didier Kryn <kryn@???>:

> Concerning stack protection, AFAIU, the stack is managed in collaboration by the kernel, the compiler and the runtime library. The only Ada compiler I have ever used is Gnat, which is part of GCC.

Interesting. I have only used Gnat too. Apparently there is an open source LLVM compiler but I think it requires Gnat in some way, perhaps to build. I believe that so long as the runtime checks are effective then any stack overflow will either stop the program on the light runtime or cause an exception on the other runtimes. You can also quite easily use spark silver mode to prove absence of runtime errors/overflow and optionally disable the checks. Anything higher than Silver mode is quite a task.

You probably know about the runtime checks already and so perhaps I am missing some details of what you mean by stack protection.

I like this list. It seems to be very knowledgeable and calm.

Regards, Kc