{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,15]],"date-time":"2025-11-15T10:24:42Z","timestamp":1763202282006,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":69,"publisher":"ACM","license":[{"start":{"date-parts":[[2019,8,12]],"date-time":"2019-08-12T00:00:00Z","timestamp":1565568000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2019,8,12]]},"DOI":"10.1145\/3338906.3338907","type":"proceedings-article","created":{"date-parts":[[2019,8,9]],"date-time":"2019-08-09T12:21:03Z","timestamp":1565353263000},"page":"74-85","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":9,"title":["Understanding GCC builtins to develop better tools"],"prefix":"10.1145","author":[{"given":"Manuel","family":"Rigger","sequence":"first","affiliation":[{"name":"JKU Linz, Austria"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Stefan","family":"Marr","sequence":"additional","affiliation":[{"name":"University of Kent, UK"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Bram","family":"Adams","sequence":"additional","affiliation":[{"name":"Polytechnique Montr\u00e9al, Canada"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hanspeter","family":"M\u00f6ssenb\u00f6ck","sequence":"additional","affiliation":[{"name":"JKU Linz, Austria"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2019,8,12]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/2901739.2903500"},{"key":"e_1_3_2_1_2_1","unstructured":"2903500  2903500"},{"key":"e_1_3_2_1_3_1","volume-title":"Understanding the Factors That Impact the Popularity of GitHub Repositories. In 2016 IEEE International Conference on Software Maintenance and Evolution, ICSME 2016","author":"Borges Hudson","year":"2016","unstructured":"Hudson Borges , Andr\u00e9 C. Hora , and Marco Tulio Valente . 2016 . Understanding the Factors That Impact the Popularity of GitHub Repositories. In 2016 IEEE International Conference on Software Maintenance and Evolution, ICSME 2016 , Raleigh, NC, USA , October 2-7, 2016. 334\u2013344. 2016.31 Hudson Borges, Andr\u00e9 C. Hora, and Marco Tulio Valente. 2016. Understanding the Factors That Impact the Popularity of GitHub Repositories. In 2016 IEEE International Conference on Software Maintenance and Evolution, ICSME 2016, Raleigh, NC, USA, October 2-7, 2016. 334\u2013344. 2016.31"},{"key":"e_1_3_2_1_4_1","volume-title":"Proceedings of the 8th USENIX conference on Operating systems design and implementation (OSDI\u201908)","author":"Cadar Cristian","year":"2008","unstructured":"Cristian Cadar , Daniel Dunbar , and Dawson Engler . 2008 . KLEE: unassisted and automatic generation of high-coverage tests for complex systems programs . In Proceedings of the 8th USENIX conference on Operating systems design and implementation (OSDI\u201908) . USENIX Association, Berkeley, CA, USA, 209\u2013224. Cristian Cadar, Daniel Dunbar, and Dawson Engler. 2008. KLEE: unassisted and automatic generation of high-coverage tests for complex systems programs. In Proceedings of the 8th USENIX conference on Operating systems design and implementation (OSDI\u201908). USENIX Association, Berkeley, CA, USA, 209\u2013224."},{"key":"e_1_3_2_1_5_1","volume-title":"Pedersen","author":"Campbell John L.","year":"2013","unstructured":"John L. Campbell , Charles Quincy , Jordan Osserman , and Ove K . Pedersen . 2013 . Coding In-depth Semistructured Interviews: Problems of Unitization and Intercoder Reliability and Agreement. Sociological Methods & Research 42, 3 (2013), 294\u2013320. John L. Campbell, Charles Quincy, Jordan Osserman, and Ove K. Pedersen. 2013. Coding In-depth Semistructured Interviews: Problems of Unitization and Intercoder Reliability and Agreement. Sociological Methods & Research 42, 3 (2013), 294\u2013320."},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.5555\/2818754.2818846"},{"key":"e_1_3_2_1_7_1","unstructured":"Clang Team. 2018. Clang Language Extensions. Builtin Functions. https: \/\/clang.llvm.org\/docs\/LanguageExtensions.html  Clang Team. 2018. Clang Language Extensions. Builtin Functions. https: \/\/clang.llvm.org\/docs\/LanguageExtensions.html"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/157710.157715"},{"volume-title":"Frama-C","author":"Cuoq Pascal","key":"e_1_3_2_1_9_1","unstructured":"Pascal Cuoq , Florent Kirchner , Nikolai Kosmatov , Virgile Prevosto , Julien Signoles , and Boris Yakobowski . 2012. Frama-C . In Software Engineering and Formal Methods, George Eleftherakis, Mike Hinchey, and Mike Holcombe (Eds.). Springer Berlin Heidelberg , Berlin, Heidelberg , 233\u2013247. Pascal Cuoq, Florent Kirchner, Nikolai Kosmatov, Virgile Prevosto, Julien Signoles, and Boris Yakobowski. 2012. Frama-C. In Software Engineering and Formal Methods, George Eleftherakis, Mike Hinchey, and Mike Holcombe (Eds.). Springer Berlin Heidelberg, Berlin, Heidelberg, 233\u2013247."},{"key":"e_1_3_2_1_10_1","unstructured":"Will Dietz Peng Li John Regehr and Vikram Adve. 2012. Understanding Integer Overflow in C\/C++. (2012) 760\u2013770.   Will Dietz Peng Li John Regehr and Vikram Adve. 2012. Understanding Integer Overflow in C\/C++. (2012) 760\u2013770."},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.pubrev.2012.01.003"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/2568225.2568295"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/2103656.2103719"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2002.1158288"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/195274.195297"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1109\/52.976940"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/2737924.2737979"},{"key":"e_1_3_2_1_18_1","volume-title":"Proc. IDPT","volume":"2","author":"Holzmann Gerard J","year":"2002","unstructured":"Gerard J Holzmann . 2002 . UNO: Static source code checking for user-defined properties . In Proc. IDPT , Vol. 2 . Gerard J Holzmann. 2002. UNO: Static source code checking for user-defined properties. In Proc. IDPT, Vol. 2."},{"key":"e_1_3_2_1_19_1","unstructured":"Intel. {n.d.}. Cilk Plus. https:\/\/www.cilkplus.org\/  Intel. {n.d.}. Cilk Plus. https:\/\/www.cilkplus.org\/"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/2597073.2597074"},{"key":"e_1_3_2_1_21_1","unstructured":"2597074  2597074"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/2983990.2983996"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1007\/s00165-014-0326-7"},{"key":"e_1_3_2_1_24_1","unstructured":"Julia Koval. 2017. remove cilk-plus. https:\/\/gcc.gnu.org\/ml\/gcc-patches\/2017- 11\/msg01345.html.  Julia Koval. 2017. remove cilk-plus. https:\/\/gcc.gnu.org\/ml\/gcc-patches\/2017- 11\/msg01345.html."},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/2676724.2693571"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.5555\/977395.977673"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/1538788.1538814"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10817-009-9155-4"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"crossref","unstructured":"Matthew Lombard Jennifer Snyder-Duch and Cheryl Campanella Bracken. {n.d.}. Content Analysis in Mass Communication: Assessment and Reporting of Intercoder Reliability. Human Communication Research 28 4 ({n. d.}) 587\u2013604.  Matthew Lombard Jennifer Snyder-Duch and Cheryl Campanella Bracken. {n.d.}. Content Analysis in Mass Communication: Assessment and Reporting of Intercoder Reliability. Human Communication Research 28 4 ({n. d.}) 587\u2013604.","DOI":"10.1111\/j.1468-2958.2002.tb00826.x"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1145\/3133908"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.5555\/2820282.2820313"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1145\/3133909"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1145\/2908080.2908081"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.5555\/3155562.3155577"},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10664-017-9512-6"},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1145\/2786805.2786834"},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1145\/2491411.2491415"},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1145\/1542476.1542504"},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1145\/1806651.1806657"},{"key":"e_1_3_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.1145\/2901739.2903499"},{"key":"e_1_3_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.5555\/647478.727796"},{"key":"e_1_3_2_1_42_1","unstructured":"Semih Okur Danny Dig and Yu Lin. 2015. Study and Refactoring of Android Asynchronous Programming. (2015).  Semih Okur Danny Dig and Yu Lin. 2015. Study and Refactoring of Android Asynchronous Programming. (2015)."},{"key":"e_1_3_2_1_43_1","volume-title":"Intel MPX Explained: An Empirical Study of Intel MPX and Softwarebased Bounds Checking Approaches. CoRR abs\/1702.00719","author":"Oleksenko Oleksii","year":"2017","unstructured":"Oleksii Oleksenko , Dmitrii Kuvaiskii , Pramod Bhatotia , Pascal Felber , and Christof Fetzer . 2017. Intel MPX Explained: An Empirical Study of Intel MPX and Softwarebased Bounds Checking Approaches. CoRR abs\/1702.00719 ( 2017 ). Oleksii Oleksenko, Dmitrii Kuvaiskii, Pramod Bhatotia, Pascal Felber, and Christof Fetzer. 2017. Intel MPX Explained: An Empirical Study of Intel MPX and Softwarebased Bounds Checking Approaches. CoRR abs\/1702.00719 (2017)."},{"key":"e_1_3_2_1_44_1","unstructured":"John O\u2019Neill. 2006. Intel Compilers for Linux: Compatibility with GNU Compilers.  John O\u2019Neill. 2006. Intel Compilers for Linux: Compatibility with GNU Compilers."},{"key":"e_1_3_2_1_45_1","unstructured":"Thomas Pointhuber. 2017. Add some testcases for builtins little bugfixes (Sulong GitHub Pull Request). https:\/\/github.com\/graalvm\/sulong\/pull\/807.  Thomas Pointhuber. 2017. Add some testcases for builtins little bugfixes (Sulong GitHub Pull Request). https:\/\/github.com\/graalvm\/sulong\/pull\/807."},{"key":"e_1_3_2_1_46_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2016.10.017"},{"key":"e_1_3_2_1_47_1","doi-asserted-by":"publisher","DOI":"10.1142\/S0129626400000214"},{"key":"e_1_3_2_1_48_1","unstructured":"ESEC\/FSE \u201919 August 26\u201330 2019 Tallinn Estonia Manuel Rigger Stefan Marr Bram Adams and Hanspeter M\u00f6ssenb\u00f6ck  ESEC\/FSE \u201919 August 26\u201330 2019 Tallinn Estonia Manuel Rigger Stefan Marr Bram Adams and Hanspeter M\u00f6ssenb\u00f6ck"},{"key":"e_1_3_2_1_49_1","unstructured":"Manuel Rigger. 2018. GCC Builtin Support (CIL Github Bug Report). https: \/\/github.com\/cil-project\/cil\/issues\/44.  Manuel Rigger. 2018. GCC Builtin Support (CIL Github Bug Report). https: \/\/github.com\/cil-project\/cil\/issues\/44."},{"key":"e_1_3_2_1_50_1","unstructured":"Manuel Rigger. 2018. GCC Builtins (C-Semantics GitHub Bug Report). https: \/\/github.com\/kframework\/c-semantics\/issues\/318.  Manuel Rigger. 2018. GCC Builtins (C-Semantics GitHub Bug Report). https: \/\/github.com\/kframework\/c-semantics\/issues\/318."},{"key":"e_1_3_2_1_51_1","unstructured":"Manuel Rigger. 2018. GCC Builtins Support (Frama-C Mailing List). https: \/\/lists.gforge.inria.fr\/pipermail\/frama-c-discuss\/2018-July\/005483.html.  Manuel Rigger. 2018. GCC Builtins Support (Frama-C Mailing List). https: \/\/lists.gforge.inria.fr\/pipermail\/frama-c-discuss\/2018-July\/005483.html."},{"key":"e_1_3_2_1_52_1","unstructured":"Manuel Rigger. 2018. Support of GCC Builtins (CompCert GitHub Bug Report). https:\/\/github.com\/AbsInt\/CompCert\/issues\/243.  Manuel Rigger. 2018. Support of GCC Builtins (CompCert GitHub Bug Report). https:\/\/github.com\/AbsInt\/CompCert\/issues\/243."},{"key":"e_1_3_2_1_53_1","unstructured":"Manuel Rigger. 2018. Support of GCC Builtins (Tiny C Compiler Mailing List). http:\/\/lists.nongnu.org\/archive\/html\/tinycc-devel\/2018-07\/msg00007.html.  Manuel Rigger. 2018. Support of GCC Builtins (Tiny C Compiler Mailing List). http:\/\/lists.nongnu.org\/archive\/html\/tinycc-devel\/2018-07\/msg00007.html."},{"key":"e_1_3_2_1_54_1","unstructured":"Manuel Rigger. 2018. Unused GCC builtins (GCC Mailing List). https:\/\/gcc.gnu. org\/ml\/gcc\/2018-01\/msg00166.html.  Manuel Rigger. 2018. Unused GCC builtins (GCC Mailing List). https:\/\/gcc.gnu. org\/ml\/gcc\/2018-01\/msg00166.html."},{"key":"e_1_3_2_1_55_1","doi-asserted-by":"publisher","DOI":"10.1145\/2998415.2998416"},{"key":"e_1_3_2_1_56_1","doi-asserted-by":"publisher","DOI":"10.1145\/3186411.3186418"},{"key":"e_1_3_2_1_57_1","doi-asserted-by":"crossref","unstructured":"Manuel Rigger Daniel Pekarek and Hanspeter M\u00f6ssenb\u00f6ck. 2018. Context-Aware Failure-Oblivious Computing as a Means of Preventing Buffer Overflows. (2018) 376\u2013390.  Manuel Rigger Daniel Pekarek and Hanspeter M\u00f6ssenb\u00f6ck. 2018. Context-Aware Failure-Oblivious Computing as a Means of Preventing Buffer Overflows. (2018) 376\u2013390.","DOI":"10.1007\/978-3-030-02744-5_28"},{"key":"e_1_3_2_1_58_1","volume-title":"Introspection for C and its Applications to Library Robustness. The Art, Science, and Engineering of Programming 2","author":"Rigger Manuel","year":"2018","unstructured":"Manuel Rigger , Roland Schatz , Rene Mayrhofer , Matthias Grimmer , and Hanspeter M\u00f6ssenb\u00f6ck . 2018. Introspection for C and its Applications to Library Robustness. The Art, Science, and Engineering of Programming 2 ( 2018 ). Manuel Rigger, Roland Schatz, Rene Mayrhofer, Matthias Grimmer, and Hanspeter M\u00f6ssenb\u00f6ck. 2018. Introspection for C and its Applications to Library Robustness. The Art, Science, and Engineering of Programming 2 (2018)."},{"key":"e_1_3_2_1_59_1","doi-asserted-by":"publisher","DOI":"10.1145\/3173162.3173174"},{"key":"e_1_3_2_1_60_1","doi-asserted-by":"publisher","DOI":"10.1145\/2901739.2901757"},{"key":"e_1_3_2_1_61_1","volume-title":"USENIX Annual Technical Conference. 309\u2013318","author":"Serebryany Konstantin","year":"2012","unstructured":"Konstantin Serebryany , Derek Bruening , Alexander Potapenko , and Dmitriy Vyukov . 2012 . AddressSanitizer: A Fast Address Sanity Checker .. In USENIX Annual Technical Conference. 309\u2013318 . Konstantin Serebryany, Derek Bruening, Alexander Potapenko, and Dmitriy Vyukov. 2012. AddressSanitizer: A Fast Address Sanity Checker.. In USENIX Annual Technical Conference. 309\u2013318."},{"key":"e_1_3_2_1_62_1","doi-asserted-by":"publisher","DOI":"10.1109\/CGO.2015.7054186"},{"key":"e_1_3_2_1_63_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICPC.2010.37"},{"key":"e_1_3_2_1_64_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-70592-5_28"},{"key":"e_1_3_2_1_65_1","doi-asserted-by":"publisher","DOI":"10.1109\/ASWEC.2009.19"},{"key":"e_1_3_2_1_66_1","volume-title":"The 26th International Conference on Software Engineering and Knowledge Engineering, Hyatt Regency","author":"Wu Di","year":"2014","unstructured":"Di Wu , Lin Chen , Yuming Zhou , and Baowen Xu . 2014 . An empirical study on the adoption of C++ templates: Library templates versus user defined templates . In The 26th International Conference on Software Engineering and Knowledge Engineering, Hyatt Regency , Vancouver, BC, Canada , July 1-3, 2013. Di Wu, Lin Chen, Yuming Zhou, and Baowen Xu. 2014. An empirical study on the adoption of C++ templates: Library templates versus user defined templates. In The 26th International Conference on Software Engineering and Knowledge Engineering, Hyatt Regency, Vancouver, BC, Canada, July 1-3, 2013."},{"key":"e_1_3_2_1_67_1","unstructured":"144\u2013149.  144\u2013149."},{"key":"e_1_3_2_1_68_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.infsof.2016.04.004"},{"key":"e_1_3_2_1_69_1","volume-title":"https:\/\/lists.gforge.inria. fr\/pipermail\/frama-c-discuss\/2011-March\/002589.html (Accessed","author":"Deng Xu.","year":"2017","unstructured":"Deng Xu. 2011. {Frama-c-discuss} inline assembly code. https:\/\/lists.gforge.inria. fr\/pipermail\/frama-c-discuss\/2011-March\/002589.html (Accessed October 2017 ). Deng Xu. 2011. {Frama-c-discuss} inline assembly code. https:\/\/lists.gforge.inria. fr\/pipermail\/frama-c-discuss\/2011-March\/002589.html (Accessed October 2017)."}],"event":{"name":"ESEC\/FSE '19: 27th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering"],"location":"Tallinn Estonia","acronym":"ESEC\/FSE '19"},"container-title":["Proceedings of the 2019 27th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3338906.3338907","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3338906.3338907","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T00:26:20Z","timestamp":1750206380000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3338906.3338907"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,8,12]]},"references-count":69,"alternative-id":["10.1145\/3338906.3338907","10.1145\/3338906"],"URL":"https:\/\/doi.org\/10.1145\/3338906.3338907","relation":{},"subject":[],"published":{"date-parts":[[2019,8,12]]},"assertion":[{"value":"2019-08-12","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}