Abstract

Sulong is a system for executing programs written in C, C++ or Fortran efficiently on the Java Virtual Machine. It interprets LLVM IR and compiles frequently executed functions to machine code. Sulong is part of the GraalVM, which provides an interoperability mechanism for different language implementations to access data and to call functions written in any language available on the platform. While Native Sulong allocates user-level objects as unmanaged memory to maintain compatibility with native libraries, Safe Sulong allocates them as Java objects to detect typical low-level errors such as buffer overflows and use-after-free errors. Safe Sulong provides also run-time metadata (such as bounds information) through an interface, enabling programmers to implement more robust libraries. Supporting non-standard C/C++ features, such as inline assembly and compiler builtins is a challenge. We have investigated their usage to support the features which are most frequently relied upon.