search for: hacked_tinyos_apps

...ic array bounds checking algorithm based on the Omega > integer programming library, but it is not hugely effective. I think > this can be strengthened a *lot*. This is great to hear. I now have extremely high expectations :). I have put a few apps here: http://www.cs.utah.edu/~regehr/hacked_tinyos_apps/ These are for compiling only-- they will not run in any useful sense. They are embedded C code from which I have deleted processor-specific constructs so that llvm-gcc for x86 can compile them. Lacking actual LLVM backends for the processors of interest, this seemed the easiest way to get st...

I understand. They only way you can keep the code bloat at a few percent or less is to aggressively eliminate nearly all run-time checks. We haven't measured our code size increases but if you have any codes to send us, we can try to get you some preliminary numbers. We do have a static array bounds checking algorithm based on the Omega integer programming library, but it is not

Hi Vikram, I think it's worth continuing to discuss this on-list. I'm interested in different kinds of embedded software, but specifically in TinyOS applications. > We (more accurately, John Criswell and Brice Lin) are working on a > debugging version of SAFECode right now, which should be robust enough > to play with soon. This is great to hear. I know the SAFECode paper