[LLVMdev] secure virtual architecture / safecode

[Vikram S. Adve]

John,

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.

What kinds of embedded codes do you have in mind?  One of our goals  
has been to minimize or even eliminate run-time checks for embedded  
code that meets certain restrictions.  You can see the following paper  
for more details:
	"Memory Safety Without Garbage Collection for Embedded Applications"
	http://llvm.org/pubs/2005-02-TECS-SAFECode.html
I'd be happy to discuss this further, on or off the list.

--Vikram
Associate Professor, Computer Science
University of Illinois at Urbana-Champaign
http://llvm.org/~vadve



On Mar 25, 2009, at 12:24 PM, John Regehr wrote:

> SVA/safecode looks interesting.  Is it available to play with?  I  
> grepped
> for strings such as "sva" "secure" "safecode" in the LLVM source  
> tree and
> didn't find anything, nor did I see obvious links to implementations  
> from
> the project web pages.
>
> In the short term, questions I'd be interested in answering are: What
> happens when embedded codes that I care about (which currently lack  
> an LLVM
> backend but that's a detail...) are compiled safely?  Can Safecode  
> beat
> Deputy in terms of code size and RAM usage?
>
> Thanks,
>
> John Regehr
> _______________________________________________
> LLVM Developers mailing list
> LLVMdev at cs.uiuc.edu         http://llvm.cs.uiuc.edu
> http://lists.cs.uiuc.edu/mailman/listinfo/llvmdev