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).
