A proper language comparison...

[Brad Roberts]

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

Are or could be?