Into the depths of C: elaborating the de facto standards
Citations
2,120 citations
129 citations
119 citations
Cites background from "Into the depths of C: elaborating t..."
...The de facto standard includes widely-followed programming practices that do not necessarily comply with the language standard, even though they result in bug-free code [99]....
[...]
107 citations
Cites background from "Into the depths of C: elaborating t..."
...MPX does not work correctly with several common C idioms (see Table 4), especially when narrowing of bounds is applied and applications deviate from the standard memory model [8, 31]....
[...]
73 citations
Cites background from "Into the depths of C: elaborating t..."
...A final challenge is that Hyperkernel, like many other OS kernels, is written in C, a programming language that is known to complicate formal reasoning [26, 39, 53]....
[...]
References
6,795 citations
2,540 citations
"Into the depths of C: elaborating t..." refers background in this paper
...Then there is a very extensive literature on static and dynamic analysis for C, and systems-oriented work on bug-finding tools (including tools such as Valgrind [36], Stack [48], and the Clang sanitisers)....
[...]
2,120 citations
799 citations
"Into the depths of C: elaborating t..." refers methods in this paper
...Of their 561 Csmith tests [55], Cerberus currently gives the same result as GCC for 556; the other 5 time-out after 5min....
[...]
777 citations
Additional excerpts
...[14, 15, 22, 34, 35], including commercial implementations aimed at mass use, such as Intel’s MPX [21]....
[...]