[LLVMdev] High level language and LLVM
eli.friedman at gmail.com
Tue Dec 13 18:07:29 PST 2011
On Tue, Dec 13, 2011 at 5:55 PM, Haohui Mai <haohui.mai at gmail.com> wrote:
> Hi folks,
> I'm interested in building a secure and verifiable operating system. One good way to do it is to build the OS with high level language, such as Java or C# since verification is significantly easier.
> I have some experience on analyzing LLVM byte codes, so I also plan to compile everything into LLVM byte codes to analyze and verify my OS.
> However, I also plan to write my own runtime, since I don't want to rely on GC (I'm considering something like region-based memory management).
> My question is what's the status of high level language support in LLVM?
The question isn't really clear. What features are you looking for?
More information about the llvm-dev