[LLVMdev] llvm as a safe language IR?
sabre at nondot.org
Sat Dec 17 12:45:55 CST 2005
On Sat, 17 Dec 2005, Martin [iso-8859-1] Pärtel wrote:
> 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?
Check out SAFECode: http://safecode.cs.uiuc.edu/
It may not be exactly what you're looking for, but it's the closest to
LLVM-with-safety that there is so far.
More information about the LLVMdev