A proper language comparison...

[Walter Bright]

On 7/26/2013 2:42 PM, Walter Bright wrote:
> 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.

No, I was wrong. False. Stack frames larger than 4K are sequentially "probed" so 
they'll fault on overflow.