activity
20172019
most citedIntrospection for C and its Applications to Library Robustness

5 citations · 11 across the 4 of their papers we have counts for

collaborators

5 papers

cs.PL2019★ 2 cited

Supporting On-Stack Replacement in Unstructured Languages by Loop Reconstruction and Extraction

Raphael Mosaner, David Leopoldseder, Manuel Rigger +2

On-stack replacement (OSR) is a common technique employed by dynamic compilers to reduce program warm-up time. OSR allows switching from interpreted to compiled code during the exe…

cs.PL2019

Understanding GCC Builtins to Develop Better Tools

Manuel Rigger, Stefan Marr, Bram Adams +1

C programs can use compiler builtins to provide functionality that the C language lacks. On Linux, GCC provides several thousands of builtins that are also supported by other matur…

cs.SE2018★ 1 cited

Debugging Native Extensions of Dynamic Languages

Jacob Kreindl, Manuel Rigger, Hanspeter Mössenböck

Many dynamic programming languages such as Ruby and Python enable developers to use so called native extensions, code implemented in typically statically compiled languages like C…

cs.CR2018★ 3 cited

Context-aware Failure-oblivious Computing as a Means of Preventing Buffer Overflows

Manuel Rigger, Daniel Pekarek, Hanspeter Mössenböck

In languages like C, buffer overflows are widespread. A common mitigation technique is to use tools that detect them during execution and abort the program to prevent the leakage o…

cs.PL2017★ 5 cited

Introspection for C and its Applications to Library Robustness

Manuel Rigger, Rene Mayrhofer, Roland Schatz +2

Context: In C, low-level errors, such as buffer overflow and use-after-free, are a major problem, as they cause security vulnerabilities and hard-to-find bugs. C lacks automatic ch…