A proper language comparison...

[Walter Bright]

On 7/26/2013 2:18 PM, Brad Roberts wrote:
> 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).
>

True. I've often thought it would be reasonable to restrict object sizes on the 
stack.