5 citations · 5 across the 1 of their papers we have counts for
2 papers
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.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…