Sandboxed Execution of C and Other Unsafe Languages on the Java Virtual Machine

Manuel Rigger

doi:10.1145/3191697.3213795

Sandboxed Execution of C and Other Unsafe Languages on the Java Virtual Machine

Manuel Rigger

Institute for Systems Software

Research output: Chapter in Book/Report/Conference proceeding › Conference proceedings › peer-review

Abstract

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.

Original language	English
Title of host publication	Proceeding Programming'18 Companion Conference Companion of the 2nd International Conference on Art, Science, and Engineering of Programming
Editors	Jennifer B. Sartor, Stefan Marr
Pages	227-229
Number of pages	3
DOIs	https://doi.org/10.1145/3191697.3213795
Publication status	Published - Apr 2018

Fields of science

102 Computer Sciences
102009 Computer simulation
102011 Formal languages
102013 Human-computer interaction
102022 Software development
102024 Usability research
102029 Practical computer science

JKU Focus areas

Computation in Informatics and Mathematics
Engineering and Natural Sciences (in general)

Access to Document

10.1145/3191697.3213795

Cite this

@inproceedings{c7d35bea072f4dfebb688589a962727a,

title = "Sandboxed Execution of C and Other Unsafe Languages on the Java Virtual Machine",

abstract = "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.",

author = "Manuel Rigger",

year = "2018",

month = apr,

doi = "10.1145/3191697.3213795",

language = "English",

isbn = "978-1-4503-5513-1",

pages = "227--229",

editor = "Sartor, \{Jennifer B.\} and Stefan Marr",

booktitle = "Proceeding Programming'18 Companion Conference Companion of the 2nd International Conference on Art, Science, and Engineering of Programming",

}

Sandboxed Execution of C and Other Unsafe Languages on the Java Virtual Machine. / Rigger, Manuel.
Proceeding Programming'18 Companion Conference Companion of the 2nd International Conference on Art, Science, and Engineering of Programming. ed. / Jennifer B. Sartor; Stefan Marr. 2018. p. 227-229.

Research output: Chapter in Book/Report/Conference proceeding › Conference proceedings › peer-review

TY - GEN

T1 - Sandboxed Execution of C and Other Unsafe Languages on the Java Virtual Machine

AU - Rigger, Manuel

PY - 2018/4

Y1 - 2018/4

N2 - 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.

AB - 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.

UR - https://dl.acm.org/citation.cfm?id=3213795

U2 - 10.1145/3191697.3213795

DO - 10.1145/3191697.3213795

M3 - Conference proceedings

SN - 978-1-4503-5513-1

SP - 227

EP - 229

BT - Proceeding Programming'18 Companion Conference Companion of the 2nd International Conference on Art, Science, and Engineering of Programming

A2 - Sartor, Jennifer B.

A2 - Marr, Stefan

ER -

Sandboxed Execution of C and Other Unsafe Languages on the Java Virtual Machine

Abstract

Fields of science

JKU Focus areas

Access to Document

Other files and links

Java VM Compiler Performance (Oracle)

Cite this

Sandboxed Execution of C and Other Unsafe Languages on the Java Virtual Machine

Abstract

Fields of science

JKU Focus areas

Access to Document

Other files and links

Projects

Java VM Compiler Performance (Oracle)

Cite this