“…Our results are expected to help tool developers in prioritizing implementation effort, maintenance, and optimization of builtins. Thus, this study facilitates the development of compilers such as GCC, Clang [24], ICC, and the formally verified CompCert compiler [25,26]; of static-analysis tools such as the Clang Static Analyzer [66], splint [14,15], Frama-C [65], and uno [17]; of semantic models for C [23,31]; and of alternative execution environments and bug-finding tools such as KLEE [3], Sulong [52,56], the LLVM sanitizers [58,59], and SoftBound [36,37]. For reproducibility and verifiability, we provide the database with GCC builtin usage, test suite, tools used for the analysis, and a record of the manual decisions on https:// github.com/ jku-ssw/ gcc-builtin-study.…”