[Tinyos-devel] Safe TinyOS test release

[John Regehr]

As part of our ongoing experiment in type and memory safety for TinyOS 
applications we've put an alpha release of Safe TinyOS 2.0.2 here:

   http://www.cs.utah.edu/~regehr/safe_tinyos/

The web page contains some details about this work, or see our SenSys 
paper and slides:

   http://www.cs.utah.edu/~coop/me/pubs/sensys07.htm

In a nutshell, the benefit of safety is that pointer and array errors 
are trapped before they happen.  Without safety, the common result of 
such errors is corrupted RAM, which often leads to confusing observable 
symptoms.

Feedback from early adopters is appreciated.

John Regehr