llvm dev - Dec 2005 - [LLVMdev] llvm as a safe language IR?

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?

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.

-Chris

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

You can also check out SafeTSA, which has been used in a research
project as a static single assignement Java class file format which
supports the JVM's type safety enforcement.  Several papers
are linked from the SafeTSA wikipedia article.


-Karl

On 12/17/05, Chris Lattner <sabre at nondot.org>
wrote:
> 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.
>
> -Chris
>
> --
> http://nondot.org/sabre/
> http://llvm.org/
>
> _______________________________________________
> LLVM Developers mailing list
> LLVMdev at cs.uiuc.edu         http://llvm.cs.uiuc.edu
> http://lists.cs.uiuc.edu/mailman/listinfo/llvmdev
>
>
>