[LLVMdev] Current work on type-safety proving?

Chris Lattner sabre at nondot.org
Mon Sep 4 12:38:28 PDT 2006


On Mon, 4 Sep 2006, Jules wrote:
> Has any work been done on this?  If not, what pointers would you give
> for places to start?

Here is one pointer: http://safecode.cs.uiuc.edu/

-Chris

-- 
http://nondot.org/sabre/
http://llvm.org/



More information about the llvm-dev mailing list