Displaying 3 results from an estimated 3 matches for "safetsa".
Did you mean:
safest
2005 Dec 17
2
[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?
2005 Dec 17
0
[LLVMdev] llvm as a safe language IR?
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:
2005 Oct 01
1
[LLVMdev] Hash Bang
...nting it
and submitting a patch if others think this is a good idea.
I wouldn't change the way bytecode files are generated by the compiler.
How does that sound?
-Karl
P.S. It might be good to put references to Ken Thompson's Dis virtual
machine design paper and Michael Franz's SafeTSA Java performance
paper on the llvm website. It was these two papers that caused me to
start looking for an open-source VM that used a (nearly) infinite
register bytecode (SSA or memory machine) instead of the very common
two register bytecode (the top two values on a stack machine's
stack... n...