[LLVMdev] llvm as a safe language IR?

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


Hello,

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 LLVMdev mailing list