[LLVMdev] llvm as a safe language IR?

Martin Pärtel lagitus at mbnet.fi
Sat Dec 17 04:58:48 PST 2005


I'm trying to avoid having to design my own IR for a hobby language that needs 
safety guarantees similar to those of Java. Have there been any plans or 
attempts to write a safety verifier for llvm object code or define a set of 
easily verifiable instructions that can be translated to llvm quickly?

More information about the llvm-dev mailing list