Conservative Automatic Stack Size Check
Posted Sep 8, 2005 9:53 UTC (Thu) by pkolloch
In reply to: Conservative Automatic Stack Size Check
Parent article: 4K stacks for everyone?
After a moderate amount of web searching, I could find the abstract of the
presentation, but not the paper itself. Any pointers?
BTW I did not say that it "easy" for the general case, but for the kernel
without dynamic stack allocations and recursion. And OK, I was probably
naive and will agree that it is probably also difficult for this special
case ;) But both feasible and desirable. I hope Olivier Hainque will be
successful in his quest and his work will be applied to the kernel.
> TBH I'd expect that kernel developers' own hunches would be as reliable.
And predict which variables are being stored in registers and which on the
stack and considering all call paths? No, I think humans would miss a lot
of special cases on that one. Additionally, not anyone would actually
endeavor to do this for anything but some core functions. Am I wrong?
to post comments)