> Does Bill's stack estimator work for ordinary C code too? I was under
> the impression that it was only for nesC and TinyOS.
That is (unfortunately) a bit of an interesting question...
I believe that the primary nesC-specific assumption made by Bill's tool is
lexical nesting of critical sections. The nesC language guarantees this
using the atomic{} construct but of course in C it's fine to call a
function with interrupts enabled and have it return with interrupts
disabled. Of course, many embedded C developers would choose not to do
this, and to the extent that they make that choice, Bill's tool should
work fine.
A while ago I asked Bill to create a precise statement of the assumptions
under which his tool is sound. He has worked on the tool since then and
may have done this, but I haven't seen it.
John Regehr
