A proper language comparison...

[Brad Roberts]

On 7/26/13 12:50 PM, Walter Bright wrote:
> On 7/26/2013 5:28 AM, bearophile wrote:
>
>> In some situations stack overflows are a security problem. Several persons have
>> written programs to analyse the stack usage of Ada-SPARK programs. Ignoring the
>> safety hazards caused by stack overflows, and ignoring the tools to avoid them
>> in critical-purpose routines, is very bad engineering.
>
> You can't have an undetected stack overflow if you use guard pages.

If you use guard pages AND guarantee that no object exceeds the size of the guard page.  Without the 
latter, you can only catch a subset (though a large subset).