Manuel Rigger,
"Sandboxed Execution of C and Other Unsafe Languages on the Java Virtual Machine"
: Proceeding Programming'18 Companion Conference Companion of the 2nd International Conference on Art, Science, and Engineering of Programming, 4-2018, ISBN: 978-1-4503-5513-1
Original Titel:
Sandboxed Execution of C and Other Unsafe Languages on the Java Virtual Machine
Sprache des Titels:
Englisch
Original Buchtitel:
Proceeding Programming'18 Companion Conference Companion of the 2nd International Conference on Art, Science, and Engineering of Programming
Original Kurzfassung:
Sulong is a system that tackles buffer overflows and other
low-level errors in languages like C by automatically check-
ing them and aborting execution if an error is detected. Sup-
porting unstandardized elements such as inline assembly and
compiler builtins is a challenge, which we have addressed by
investigating their usage in a large number of open-source
programs. Finally, we have devised an introspection mech-
anism, for which Sulong exposes metadata such as bounds,
which library writers can use to increase the robustness of
their libraries.