[LLVMdev] secure virtual architecture / safecode

[John Regehr]

On Thu, 26 Mar 2009, John Regehr wrote:

> I have put a few apps here:
>
>   http://www.cs.utah.edu/~regehr/hacked_tinyos_apps/

Has anyone had time to generate safe versions of one or more of these?  If 
so I'd be interseted to look at the output.

Thanks,

John