I'm working on a research project with some other members of the Flux group at Utah that's of possible interest to people on this list. This project has resulted in a tool that statically computes a bound on the size of the call stack for TinyOS programs (and other programs for AVR microcontrollers). It uses a whole-program analysis that takes interrupts and interrupt masks into account.
A draft of a paper describing this research is availble here: http://www.cs.utah.edu/~regehr/stacktool/draft-06-12-03.pdf We plan to release the stack tool as open source later this Summer. John Regehr _______________________________________________ Tinyos-users mailing list [EMAIL PROTECTED] http://mail.Millennium.Berkeley.EDU/mailman/listinfo/tinyos-users
