{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,10]],"date-time":"2026-03-10T23:36:10Z","timestamp":1773185770230,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":107,"publisher":"ACM","license":[{"start":{"date-parts":[[2023,7,12]],"date-time":"2023-07-12T00:00:00Z","timestamp":1689120000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/"}],"funder":[{"DOI":"10.13039\/100019180","name":"HORIZON EUROPE European Research Council","doi-asserted-by":"publisher","award":["819141"],"award-info":[{"award-number":["819141"]}],"id":[{"id":"10.13039\/100019180","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100000266","name":"Engineering and Physical Sciences Research Council","doi-asserted-by":"publisher","award":["EP\/R011605\/1, EP\/R006865\/1"],"award-info":[{"award-number":["EP\/R011605\/1, EP\/R006865\/1"]}],"id":[{"id":"10.13039\/501100000266","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2023,7,12]]},"DOI":"10.1145\/3597926.3598130","type":"proceedings-article","created":{"date-parts":[[2023,7,13]],"date-time":"2023-07-13T20:12:53Z","timestamp":1689279173000},"page":"1219-1231","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":47,"title":["GrayC: Greybox Fuzzing of Compilers and Analysers for C"],"prefix":"10.1145","author":[{"given":"Karine","family":"Even-Mendoza","sequence":"first","affiliation":[{"name":"King\u2019s College London, UK"}]},{"given":"Arindam","family":"Sharma","sequence":"additional","affiliation":[{"name":"Imperial College London, UK"}]},{"given":"Alastair F.","family":"Donaldson","sequence":"additional","affiliation":[{"name":"Imperial College London, UK"}]},{"given":"Cristian","family":"Cadar","sequence":"additional","affiliation":[{"name":"Imperial College London, UK"}]}],"member":"320","published-online":{"date-parts":[[2023,7,13]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.14722\/ndss.2019.23412"},{"key":"e_1_3_2_1_2_1","volume-title":"Date Confirmed and Fixed","author":"Reduce Bug","year":"2022","unstructured":"C- Reduce Bug - clang delta (found as a by-product of fuzzing) . Date Confirmed and Fixed Jan. 16, 2022 . https:\/\/www.flux.utah.edu\/listarchives\/creduce-bugs\/msg00555.html C-Reduce Bug - clang delta (found as a by-product of fuzzing). Date Confirmed and Fixed Jan. 16, 2022. https:\/\/www.flux.utah.edu\/listarchives\/creduce-bugs\/msg00555.html"},{"key":"e_1_3_2_1_3_1","volume-title":"Date Confirmed and Fixed","author":"Reduce Bug","year":"2022","unstructured":"C- Reduce Bug - clang delta (found as a by-product of fuzzing). Date Confirmed and Fixed Jan. 4, 2022 . https:\/\/www.flux.utah.edu\/listarchives\/creduce-bugs\/msg00553.html C-Reduce Bug - clang delta (found as a by-product of fuzzing). Date Confirmed and Fixed Jan. 4, 2022. https:\/\/www.flux.utah.edu\/listarchives\/creduce-bugs\/msg00553.html"},{"key":"e_1_3_2_1_4_1","volume-title":"Date Confirmed","author":"Reduce Bug","year":"2021","unstructured":"C- Reduce Bug - clang delta (found as a by-product of fuzzing). Date Confirmed Jun. 7, 2021 and Fixed Jun . 20, 2021. https:\/\/www.flux.utah.edu\/listarchives\/creduce-bugs\/msg00537.html C-Reduce Bug - clang delta (found as a by-product of fuzzing). Date Confirmed Jun. 7, 2021 and Fixed Jun. 20, 2021. https:\/\/www.flux.utah.edu\/listarchives\/creduce-bugs\/msg00537.html"},{"key":"e_1_3_2_1_5_1","volume-title":"Date Confirmed","author":"Reduce Bug","year":"2022","unstructured":"C- Reduce Bug - clang delta (found as a by-product of fuzzing). Date Confirmed November 2, 2022 . https:\/\/www.flux.utah.edu\/listarchives\/creduce-bugs\/msg00563.html C-Reduce Bug - clang delta (found as a by-product of fuzzing). Date Confirmed November 2, 2022. https:\/\/www.flux.utah.edu\/listarchives\/creduce-bugs\/msg00563.html"},{"key":"e_1_3_2_1_6_1","volume-title":"Date Reported","author":"Reduce Bug","year":"2021","unstructured":"C- Reduce Bug - clang delta (found as a by-product of fuzzing) . Date Reported Dec. 17, 2021 . https:\/\/www.flux.utah.edu\/listarchives\/creduce-bugs\/msg00551.html C-Reduce Bug - clang delta (found as a by-product of fuzzing). Date Reported Dec. 17, 2021. https:\/\/www.flux.utah.edu\/listarchives\/creduce-bugs\/msg00551.html"},{"key":"e_1_3_2_1_7_1","volume-title":"Proc. of the 38th International Conference on Software Engineering, New Ideas and Emerging Results (ICSE NIER\u201916)","author":"Cadar Cristian","year":"2016","unstructured":"Cristian Cadar and Alastair Donaldson . 2016 . Analysing the Program Analyser . In Proc. of the 38th International Conference on Software Engineering, New Ideas and Emerging Results (ICSE NIER\u201916) . Cristian Cadar and Alastair Donaldson. 2016. Analysing the Program Analyser. In Proc. of the 38th International Conference on Software Engineering, New Ideas and Emerging Results (ICSE NIER\u201916)."},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/3363562"},{"key":"e_1_3_2_1_9_1","unstructured":"T.Y. Chen S.C. Cheung and S.M. Yiu. 1998. Metamorphic testing: a new approach for generating next test cases. Hong Kong University of Science and Technology. \t\t\t\t  T.Y. Chen S.C. Cheung and S.M. Yiu. 1998. Metamorphic testing: a new approach for generating next test cases. Hong Kong University of Science and Technology."},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/2908080.2908095"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1109\/SP40001.2021.00071"},{"key":"e_1_3_2_1_12_1","unstructured":"2023. LibTooling. https:\/\/clang.llvm.org\/docs\/LibTooling.html \t\t\t\t  2023. LibTooling. https:\/\/clang.llvm.org\/docs\/LibTooling.html"},{"key":"e_1_3_2_1_13_1","unstructured":"[n. d.]. clang-fuzzer. https:\/\/github.com\/llvm\/llvm-project\/tree\/main\/clang\/tools\/clang-fuzzer \t\t\t\t  [n. d.]. clang-fuzzer. https:\/\/github.com\/llvm\/llvm-project\/tree\/main\/clang\/tools\/clang-fuzzer"},{"key":"e_1_3_2_1_14_1","unstructured":"[n. d.]. clang-proto-fuzzer. https:\/\/llvm.org\/docs\/FuzzingLLVM.html#clang-proto-fuzzer \t\t\t\t  [n. d.]. clang-proto-fuzzer. https:\/\/llvm.org\/docs\/FuzzingLLVM.html#clang-proto-fuzzer"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1007\/s00165-014-0326-7"},{"key":"e_1_3_2_1_16_1","volume-title":"Proc. of the 4th International Conference on NASA Formal Methods (NFM\u201912)","author":"Cuoq Pascal","year":"2012","unstructured":"Pascal Cuoq , Benjamin Monate , Anne Pacalet , Virgile Prevosto , John Regehr , Boris Yakobowski , and Xuejun Yang . 2012 . Testing Static Analyzers with Randomly Generated Programs . In Proc. of the 4th International Conference on NASA Formal Methods (NFM\u201912) . Pascal Cuoq, Benjamin Monate, Anne Pacalet, Virgile Prevosto, John Regehr, Boris Yakobowski, and Xuejun Yang. 2012. Testing Static Analyzers with Randomly Generated Programs. In Proc. of the 4th International Conference on NASA Formal Methods (NFM\u201912)."},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/3133917"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.5281\/zenodo.7978251"},{"key":"e_1_3_2_1_19_1","volume-title":"Date Confirmed","author":"C Bug","year":"2022","unstructured":"Frama- C Bug - Eva plugin. Date Confirmed Mar. 13, 2022 and Closed and fixed Jul. 11, 2022. https:\/\/git.frama-c.com\/pub\/frama-c\/-\/issues\/2595 Frama-C Bug - Eva plugin. Date Confirmed Mar. 13, 2022 and Closed and fixed Jul. 11, 2022. https:\/\/git.frama-c.com\/pub\/frama-c\/-\/issues\/2595"},{"key":"e_1_3_2_1_20_1","volume-title":"Date Confirmed","author":"C Bug","year":"2022","unstructured":"Frama- C Bug - Eva plugin. Date Confirmed May 10, 2022 and Fixed Jun . 10, 2022. https:\/\/git.frama-c.com\/pub\/frama-c\/-\/issues\/2610 Frama-C Bug - Eva plugin. Date Confirmed May 10, 2022 and Fixed Jun. 10, 2022. https:\/\/git.frama-c.com\/pub\/frama-c\/-\/issues\/2610"},{"key":"e_1_3_2_1_21_1","volume-title":"Date Confirmed","author":"C Bug","year":"2021","unstructured":"Frama- C Bug - Eva plugin. Date Confirmed Nov. 8, 2021 and Fixed Sept . 15, 2022. https:\/\/git.frama-c.com\/pub\/frama-c\/-\/issues\/2585 Frama-C Bug - Eva plugin. Date Confirmed Nov. 8, 2021 and Fixed Sept. 15, 2022. https:\/\/git.frama-c.com\/pub\/frama-c\/-\/issues\/2585"},{"key":"e_1_3_2_1_22_1","volume-title":"kernel, abstract interpretation. Date Confirmed and Fixed","author":"C Bug","year":"2021","unstructured":"Frama- C Bug - Eva plugin , kernel, abstract interpretation. Date Confirmed and Fixed Jun. 10, 2021 . https:\/\/git.frama-c.com\/pub\/frama-c\/-\/issues\/2563 Frama-C Bug - Eva plugin, kernel, abstract interpretation. Date Confirmed and Fixed Jun. 10, 2021. https:\/\/git.frama-c.com\/pub\/frama-c\/-\/issues\/2563"},{"key":"e_1_3_2_1_23_1","volume-title":"Date Confirmed","author":"C Bug","year":"2021","unstructured":"Frama- C Bug - Front-end. Date Confirmed Oct. 14, 2021 and Date Fixed Dec . 3, 2021. https:\/\/git.frama-c.com\/pub\/frama-c\/-\/issues\/2576 Frama-C Bug - Front-end. Date Confirmed Oct. 14, 2021 and Date Fixed Dec. 3, 2021. https:\/\/git.frama-c.com\/pub\/frama-c\/-\/issues\/2576"},{"key":"e_1_3_2_1_24_1","volume-title":"Date Confirmed","author":"C Bug","year":"2022","unstructured":"Frama- C Bug - Front-end (found as a by-product of fuzzing) . Date Confirmed May 28, 2022 and Fixed Oct. 20, 2021. https:\/\/git.frama-c.com\/pub\/frama-c\/-\/issues\/2559 Frama-C Bug - Front-end (found as a by-product of fuzzing). Date Confirmed May 28, 2022 and Fixed Oct. 20, 2021. https:\/\/git.frama-c.com\/pub\/frama-c\/-\/issues\/2559"},{"key":"e_1_3_2_1_25_1","volume-title":"Date Confirmed","author":"C Bug","year":"2021","unstructured":"Frama- C Bug - Front-end (found as a by-product of fuzzing) . Date Confirmed Sept. 14, 2021 and Fixed Jul. 11, 2022. https:\/\/git.frama-c.com\/pub\/frama-c\/-\/issues\/2573 Frama-C Bug - Front-end (found as a by-product of fuzzing). Date Confirmed Sept. 14, 2021 and Fixed Jul. 11, 2022. https:\/\/git.frama-c.com\/pub\/frama-c\/-\/issues\/2573"},{"key":"e_1_3_2_1_26_1","volume-title":"Date Confirmed","author":"C Bug","year":"2021","unstructured":"Frama- C Bug - Front-end (found as a by-product of fuzzing) . Date Confirmed Sept. 16, 2021 and Fixed Oct. 20, 2021. https:\/\/git.frama-c.com\/pub\/frama-c\/-\/issues\/2574 Frama-C Bug - Front-end (found as a by-product of fuzzing). Date Confirmed Sept. 16, 2021 and Fixed Oct. 20, 2021. https:\/\/git.frama-c.com\/pub\/frama-c\/-\/issues\/2574"},{"key":"e_1_3_2_1_27_1","volume-title":"Date Confirmed","author":"Kernel C Bug","year":"2021","unstructured":"Frama- C Bug - Kernel . Date Confirmed Apr. 20, 2021 and Fixed Apr . 30, 2021. https:\/\/git.frama-c.com\/pub\/frama-c\/-\/issues\/2551 Frama-C Bug - Kernel. Date Confirmed Apr. 20, 2021 and Fixed Apr. 30, 2021. https:\/\/git.frama-c.com\/pub\/frama-c\/-\/issues\/2551"},{"key":"e_1_3_2_1_28_1","volume-title":"Date Confirmed","author":"Kernel C Bug","year":"2021","unstructured":"Frama- C Bug - Kernel . Date Confirmed Apr. 6, 2021 and Fixed Oct . 13, 2021. https:\/\/git.frama-c.com\/pub\/frama-c\/-\/issues\/2550 Frama-C Bug - Kernel. Date Confirmed Apr. 6, 2021 and Fixed Oct. 13, 2021. https:\/\/git.frama-c.com\/pub\/frama-c\/-\/issues\/2550"},{"key":"e_1_3_2_1_29_1","volume-title":"Date Confirmed","author":"C Bug","year":"2022","unstructured":"Frama- C Bug - kernel. Date Confirmed Jan. 11, 2022 and Fixed Jul . 11, 2022. https:\/\/git.frama-c.com\/pub\/frama-c\/-\/issues\/2592 Frama-C Bug - kernel. Date Confirmed Jan. 11, 2022 and Fixed Jul. 11, 2022. https:\/\/git.frama-c.com\/pub\/frama-c\/-\/issues\/2592"},{"key":"e_1_3_2_1_30_1","volume-title":"abstract interpretation. Date Confirmed and Fixed","author":"C Bug","year":"2022","unstructured":"Frama- C Bug - kernel , abstract interpretation. Date Confirmed and Fixed Jan. 24, 2022 . https:\/\/git.frama-c.com\/pub\/frama-c\/-\/issues\/2588 Frama-C Bug - kernel, abstract interpretation. Date Confirmed and Fixed Jan. 24, 2022. https:\/\/git.frama-c.com\/pub\/frama-c\/-\/issues\/2588"},{"key":"e_1_3_2_1_31_1","volume-title":"abstract interpretation. Date Confirmed","author":"C Bug","year":"2021","unstructured":"Frama- C Bug - kernel , abstract interpretation. Date Confirmed May 18, 2021 and Fixed May 21, 2021. https:\/\/git.frama-c.com\/pub\/frama-c\/-\/issues\/2556 Frama-C Bug - kernel, abstract interpretation. Date Confirmed May 18, 2021 and Fixed May 21, 2021. https:\/\/git.frama-c.com\/pub\/frama-c\/-\/issues\/2556"},{"key":"e_1_3_2_1_32_1","volume-title":"Date Confirmed","author":"C Bug","year":"2022","unstructured":"Frama- C Bug - kernel, Front-end. Date Confirmed Jan. 10, 2022 and Fixed Feb . 9, 2022. https:\/\/git.frama-c.com\/pub\/frama-c\/-\/issues\/2590 Frama-C Bug - kernel, Front-end. Date Confirmed Jan. 10, 2022 and Fixed Feb. 9, 2022. https:\/\/git.frama-c.com\/pub\/frama-c\/-\/issues\/2590"},{"key":"e_1_3_2_1_33_1","volume-title":"Date Confirmed","author":"Parsing C Bug","year":"2021","unstructured":"Frama- C Bug - Parsing , EVA-plugin. Date Confirmed May 18, 2021 and Fixed May 21, 2021. https:\/\/git.frama-c.com\/pub\/frama-c\/-\/issues\/2555 Frama-C Bug - Parsing, EVA-plugin. Date Confirmed May 18, 2021 and Fixed May 21, 2021. https:\/\/git.frama-c.com\/pub\/frama-c\/-\/issues\/2555"},{"key":"e_1_3_2_1_34_1","volume-title":"Date Reported","author":"Bug GCC","year":"2016","unstructured":"GCC Bug . Date Reported Aug. 6, 2016 . https:\/\/gcc.gnu.org\/bugzilla\/show_bug.cgi?id=72825 GCC Bug. Date Reported Aug. 6, 2016. https:\/\/gcc.gnu.org\/bugzilla\/show_bug.cgi?id=72825"},{"key":"e_1_3_2_1_35_1","volume-title":"Date Confirmed","author":"GCC","year":"2021","unstructured":"GCC Bug - Front-end. Date Confirmed Apr. 9, 2021 and Fixed Apr . 22, 2021. https:\/\/gcc.gnu.org\/bugzilla\/show_bug.cgi?id=99990 GCC Bug - Front-end. Date Confirmed Apr. 9, 2021 and Fixed Apr. 22, 2021. https:\/\/gcc.gnu.org\/bugzilla\/show_bug.cgi?id=99990"},{"key":"e_1_3_2_1_36_1","volume-title":"Date Confirmed","author":"GCC","year":"2022","unstructured":"GCC Bug - Front-end. Date Confirmed Aug. 8, 2022 and Fixed Nov . 21, 2022. https:\/\/gcc.gnu.org\/bugzilla\/show_bug.cgi?id=106560 GCC Bug - Front-end. Date Confirmed Aug. 8, 2022 and Fixed Nov. 21, 2022. https:\/\/gcc.gnu.org\/bugzilla\/show_bug.cgi?id=106560"},{"key":"e_1_3_2_1_37_1","volume-title":"Date Confirmed","author":"GCC","year":"2021","unstructured":"GCC Bug - ipa. Date Confirmed Dec. 23, 2021 and Fixed Apr . 20, 2022. https:\/\/gcc.gnu.org\/bugzilla\/show_bug.cgi?id=103818 GCC Bug - ipa. Date Confirmed Dec. 23, 2021 and Fixed Apr. 20, 2022. https:\/\/gcc.gnu.org\/bugzilla\/show_bug.cgi?id=103818"},{"key":"e_1_3_2_1_38_1","volume-title":"Date Confirmed","author":"GCC","year":"2021","unstructured":"GCC Bug - Middle-end. Date Confirmed Dec. 22, 2021 and Fixed Jan . 24, 2022. https:\/\/gcc.gnu.org\/bugzilla\/show_bug.cgi?id=103813 GCC Bug - Middle-end. Date Confirmed Dec. 22, 2021 and Fixed Jan. 24, 2022. https:\/\/gcc.gnu.org\/bugzilla\/show_bug.cgi?id=103813"},{"key":"e_1_3_2_1_39_1","volume-title":"Date Confirmed","author":"GCC","year":"2022","unstructured":"GCC Bug - Middle-end. Date Confirmed May 02, 2022 and Fixed May 27, 2022. https:\/\/gcc.gnu.org\/bugzilla\/show_bug.cgi?id=104402 GCC Bug - Middle-end. Date Confirmed May 02, 2022 and Fixed May 27, 2022. https:\/\/gcc.gnu.org\/bugzilla\/show_bug.cgi?id=104402"},{"key":"e_1_3_2_1_40_1","volume-title":"Date Confirmed","author":"GCC","year":"2018","unstructured":"GCC Bug - Middle-end (reported independently before we found it) . Date Confirmed Mar. 20, 2018 and Fixed Apr. 14, 2022. https:\/\/gcc.gnu.org\/bugzilla\/show_bug.cgi?id=84964 GCC Bug - Middle-end (reported independently before we found it). Date Confirmed Mar. 20, 2018 and Fixed Apr. 14, 2022. https:\/\/gcc.gnu.org\/bugzilla\/show_bug.cgi?id=84964"},{"key":"e_1_3_2_1_41_1","volume-title":"Date Confirmed","author":"GCC","year":"2022","unstructured":"GCC Bug - Middle-end (reported independently shortly before we found it) . Date Confirmed Nov. 18, 2022 and Fixed Nov. 19, 2022. https:\/\/gcc.gnu.org\/bugzilla\/show_bug.cgi?id=103314 GCC Bug - Middle-end (reported independently shortly before we found it). Date Confirmed Nov. 18, 2022 and Fixed Nov. 19, 2022. https:\/\/gcc.gnu.org\/bugzilla\/show_bug.cgi?id=103314"},{"key":"e_1_3_2_1_42_1","volume-title":"middle-end. Date Reported","author":"GCC","year":"2022","unstructured":"GCC Bug - rtl-optimization , middle-end. Date Reported Jun. 9, 2022 and Confirmed May 17, 2023. https:\/\/gcc.gnu.org\/bugzilla\/show_bug.cgi?id=105910 GCC Bug - rtl-optimization, middle-end. Date Reported Jun. 9, 2022 and Confirmed May 17, 2023. https:\/\/gcc.gnu.org\/bugzilla\/show_bug.cgi?id=105910"},{"key":"e_1_3_2_1_43_1","volume-title":"Date Confirmed and Fixed","author":"GCC","year":"2022","unstructured":"GCC Bug - Tree optimization. Date Confirmed and Fixed Apr. 12, 2022 . https:\/\/gcc.gnu.org\/bugzilla\/show_bug.cgi?id=105232 GCC Bug - Tree optimization. Date Confirmed and Fixed Apr. 12, 2022. https:\/\/gcc.gnu.org\/bugzilla\/show_bug.cgi?id=105232"},{"key":"e_1_3_2_1_44_1","volume-title":"Date Confirmed and Fixed","author":"GCC","year":"2022","unstructured":"GCC Bug - Tree optimization. Date Confirmed and Fixed Jun. 10, 2022 . https:\/\/gcc.gnu.org\/bugzilla\/show_bug.cgi?id=107170 GCC Bug - Tree optimization. Date Confirmed and Fixed Jun. 10, 2022. https:\/\/gcc.gnu.org\/bugzilla\/show_bug.cgi?id=107170"},{"key":"e_1_3_2_1_45_1","volume-title":"Date Confirmed","author":"GCC","year":"2021","unstructured":"GCC Bug - Tree optimization. Date Confirmed Dec. 23, 2021 and Fixed Jan . 5, 2022. https:\/\/gcc.gnu.org\/bugzilla\/show_bug.cgi?id=103816 GCC Bug - Tree optimization. Date Confirmed Dec. 23, 2021 and Fixed Jan. 5, 2022. https:\/\/gcc.gnu.org\/bugzilla\/show_bug.cgi?id=103816"},{"key":"e_1_3_2_1_46_1","volume-title":"Date Confirmed","author":"GCC","year":"2021","unstructured":"GCC Bug - Tree-optimization (reported independently before we found it) . Date Confirmed Jul. 27, 2021 and Fixed Mar. 23, 2022. https:\/\/gcc.gnu.org\/bugzilla\/show_bug.cgi?id=101636 GCC Bug - Tree-optimization (reported independently before we found it). Date Confirmed Jul. 27, 2021 and Fixed Mar. 23, 2022. https:\/\/gcc.gnu.org\/bugzilla\/show_bug.cgi?id=101636"},{"key":"e_1_3_2_1_47_1","volume-title":"Date Reported","author":"Bug GCC","year":"2022","unstructured":"GCC Bug : incomplete program (several duplicate reports exist) . Date Reported Aug. 28, 2022 . https:\/\/gcc.gnu.org\/bugzilla\/show_bug.cgi?id=106764 GCC Bug: incomplete program (several duplicate reports exist). Date Reported Aug. 28, 2022. https:\/\/gcc.gnu.org\/bugzilla\/show_bug.cgi?id=106764"},{"key":"e_1_3_2_1_48_1","volume-title":"Date Reported","author":"GCC","year":"2021","unstructured":"GCC Bug (several related reports exist) . Date Reported May 11, 2021 , and Fixed 15 November 2022. https:\/\/gcc.gnu.org\/bugzilla\/show_bug.cgi?id=100525 GCC Bug (several related reports exist). Date Reported May 11, 2021, and Fixed 15 November 2022. https:\/\/gcc.gnu.org\/bugzilla\/show_bug.cgi?id=100525"},{"key":"e_1_3_2_1_49_1","unstructured":"GitHub. 2023. Git Repository of GrayC. https:\/\/github.com\/srg-imperial\/GrayC \t\t\t\t  GitHub. 2023. Git Repository of GrayC. https:\/\/github.com\/srg-imperial\/GrayC"},{"key":"e_1_3_2_1_50_1","volume-title":"Date Accessed","year":"2022","unstructured":"GitHub. Date Accessed December 31, 2022 . Git Repository of Grammarinator . https:\/\/github.com\/renatahodovan\/grammarinator.git GitHub. Date Accessed December 31, 2022. Git Repository of Grammarinator. https:\/\/github.com\/renatahodovan\/grammarinator.git"},{"key":"e_1_3_2_1_51_1","volume-title":"Date Accessed","year":"2022","unstructured":"GitHub. Date Accessed March 23, 2022 . Git Repository of gfauto. https:\/\/github.com\/google\/graphicsfuzz.git GitHub. Date Accessed March 23, 2022. Git Repository of gfauto. https:\/\/github.com\/google\/graphicsfuzz.git"},{"key":"e_1_3_2_1_52_1","unstructured":"Google. 2020. AFL dictionaries. https:\/\/github.com\/google\/AFL\/blob\/master\/dictionaries\/README.dictionaries \t\t\t\t  Google. 2020. AFL dictionaries. https:\/\/github.com\/google\/AFL\/blob\/master\/dictionaries\/README.dictionaries"},{"key":"e_1_3_2_1_53_1","doi-asserted-by":"publisher","DOI":"10.1145\/3183440.3183485"},{"key":"e_1_3_2_1_54_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2007.68"},{"key":"e_1_3_2_1_55_1","doi-asserted-by":"publisher","DOI":"10.1145\/3497776.3517765"},{"key":"e_1_3_2_1_56_1","doi-asserted-by":"publisher","DOI":"10.23919\/DATE.2019.8714912"},{"key":"e_1_3_2_1_57_1","doi-asserted-by":"publisher","DOI":"10.1145\/3373087.3375310"},{"key":"e_1_3_2_1_58_1","doi-asserted-by":"publisher","DOI":"10.1145\/3278186.3278193"},{"key":"e_1_3_2_1_59_1","volume-title":"Proc. of the 21st USENIX Security Symposium (USENIX Security\u201912)","author":"Holler Christian","year":"2012","unstructured":"Christian Holler , Kim Herzig , and Andreas Zeller . 2012 . Fuzzing with Code Fragments . In Proc. of the 21st USENIX Security Symposium (USENIX Security\u201912) . Christian Holler, Kim Herzig, and Andreas Zeller. 2012. Fuzzing with Code Fragments. In Proc. of the 21st USENIX Security Symposium (USENIX Security\u201912)."},{"key":"e_1_3_2_1_60_1","volume-title":"Date Accessed","year":"2022","unstructured":"Homepage. Date Accessed May 23, 2022 . https:\/\/srg.doc.ic.ac.uk\/projects\/grayc\/ Homepage. Date Accessed May 23, 2022. https:\/\/srg.doc.ic.ac.uk\/projects\/grayc\/"},{"key":"e_1_3_2_1_61_1","doi-asserted-by":"publisher","DOI":"10.5555\/3155562.3155636"},{"key":"e_1_3_2_1_62_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10664-015-9422-4"},{"key":"e_1_3_2_1_63_1","volume-title":"Proc. of the International Symposium on Software Testing and Analysis (ISSTA\u201919)","author":"Klinger Christian","year":"2019","unstructured":"Christian Klinger , Maria Christakis , and Valentin W\u00fcstholz . 2019 . Differentially Testing Soundness and Precision of Program Analyzers . In Proc. of the International Symposium on Software Testing and Analysis (ISSTA\u201919) . Christian Klinger, Maria Christakis, and Valentin W\u00fcstholz. 2019. Differentially Testing Soundness and Precision of Program Analyzers. In Proc. of the International Symposium on Software Testing and Analysis (ISSTA\u201919)."},{"key":"e_1_3_2_1_64_1","doi-asserted-by":"publisher","DOI":"10.5555\/977395.977673"},{"key":"e_1_3_2_1_65_1","doi-asserted-by":"publisher","DOI":"10.1145\/2594291.2594334"},{"key":"e_1_3_2_1_66_1","unstructured":"2022. http:\/\/llvm.org\/docs\/LibFuzzer.html \t\t\t\t  2022. http:\/\/llvm.org\/docs\/LibFuzzer.html"},{"key":"e_1_3_2_1_67_1","doi-asserted-by":"publisher","DOI":"10.1145\/2737924.2737986"},{"key":"e_1_3_2_1_68_1","doi-asserted-by":"publisher","DOI":"10.1145\/3428264"},{"key":"e_1_3_2_1_69_1","volume-title":"Date Reported","author":"Arrays LLVM","year":"2021","unstructured":"LLVM Bug - Arrays . Date Reported Jun. 9, 2021 and Closed Jan . 7, 2022. https:\/\/github.com\/llvm\/llvm-project\/issues\/49983 LLVM Bug - Arrays. Date Reported Jun. 9, 2021 and Closed Jan. 7, 2022. https:\/\/github.com\/llvm\/llvm-project\/issues\/49983"},{"key":"e_1_3_2_1_70_1","volume-title":"Date Confirmed","author":"LLVM","year":"2022","unstructured":"LLVM Bug - Clang codegen (found as a by-product of fuzzing) . Date Confirmed Jan. 15, 2022 . https:\/\/github.com\/llvm\/llvm-project\/issues\/53105 LLVM Bug - Clang codegen (found as a by-product of fuzzing). Date Confirmed Jan. 15, 2022. https:\/\/github.com\/llvm\/llvm-project\/issues\/53105"},{"key":"e_1_3_2_1_71_1","volume-title":"Date Reported","author":"Clang LLVM","year":"2022","unstructured":"LLVM Bug - Clang Front-end. Date Reported May 6, 2022 . https:\/\/github.com\/llvm\/llvm-project\/issues\/55312 LLVM Bug - Clang Front-end. Date Reported May 6, 2022. https:\/\/github.com\/llvm\/llvm-project\/issues\/55312"},{"key":"e_1_3_2_1_72_1","volume-title":"Date Confirmed","author":"LLVM","year":"2022","unstructured":"LLVM Bug - compiler-rt:ubsan (found as a by-product of fuzzing) . Date Confirmed Jan. 16, 2022 . https:\/\/github.com\/llvm\/llvm-project\/issues\/51421 LLVM Bug - compiler-rt:ubsan (found as a by-product of fuzzing). Date Confirmed Jan. 16, 2022. https:\/\/github.com\/llvm\/llvm-project\/issues\/51421"},{"key":"e_1_3_2_1_73_1","volume-title":"Date Reported","author":"LLVM","year":"2021","unstructured":"LLVM Bug - IR (found as a by-product of fuzzing). Date Reported Jul. 5, 2021 . https:\/\/github.com\/llvm\/llvm-project\/issues\/50332 LLVM Bug - IR (found as a by-product of fuzzing). Date Reported Jul. 5, 2021. https:\/\/github.com\/llvm\/llvm-project\/issues\/50332"},{"key":"e_1_3_2_1_74_1","volume-title":"Date Reported","author":"LLVM","year":"2021","unstructured":"LLVM Bug - Union declaration. Date Reported Jun. 10, 2021 and Closed Jan . 13, 2022. https:\/\/github.com\/llvm\/llvm-project\/issues\/49993 LLVM Bug - Union declaration. Date Reported Jun. 10, 2021 and Closed Jan. 13, 2022. https:\/\/github.com\/llvm\/llvm-project\/issues\/49993"},{"key":"e_1_3_2_1_75_1","volume-title":"Date Accessed","author":"Project LLVM","year":"2022","unstructured":"LLVM Project . Date Accessed July 21, 2022 . libFuzzer \u2013 a library for coverage-guided fuzz testing. https:\/\/llvm.org\/docs\/LibFuzzer.html LLVM Project. Date Accessed July 21, 2022. libFuzzer \u2013 a library for coverage-guided fuzz testing. https:\/\/llvm.org\/docs\/LibFuzzer.html"},{"key":"e_1_3_2_1_76_1","unstructured":"[n. d.]. LLVM website. http:\/\/llvm.org\/ \t\t\t\t  [n. d.]. LLVM website. http:\/\/llvm.org\/"},{"key":"e_1_3_2_1_77_1","doi-asserted-by":"publisher","DOI":"10.1145\/3360581"},{"key":"e_1_3_2_1_78_1","first-page":"100","article-title":"Differential testing for software","volume":"10","author":"McKeeman W. M.","year":"1998","unstructured":"W. M. McKeeman . 1998 . Differential testing for software . Digital Technical Journal , 10 (1998), 100 \u2013 107 . W. M. McKeeman. 1998. Differential testing for software. Digital Technical Journal, 10 (1998), 100\u2013107.","journal-title":"Digital Technical Journal"},{"key":"e_1_3_2_1_79_1","volume-title":"Date Confirmed","author":"CppCompiler MSVC","year":"2021","unstructured":"MSVC Bug - CppCompiler , Front-end. Date Confirmed May 20, 2021 . https:\/\/developercommunity.visualstudio.com\/t\/internal-compiler-error-when-compiling-program-wit\/1427557 MSVC Bug - CppCompiler, Front-end. Date Confirmed May 20, 2021. https:\/\/developercommunity.visualstudio.com\/t\/internal-compiler-error-when-compiling-program-wit\/1427557"},{"key":"e_1_3_2_1_80_1","volume-title":"Date Confirmed","author":"CppCompiler MSVC","year":"2021","unstructured":"MSVC Bug - CppCompiler , Front-end. Date Confirmed May 20, 2021 and Closed Nov . 24, 2021. https:\/\/developercommunity.visualstudio.com\/t\/internal-compiler-error-when-compiling-program-wit\/1427553 MSVC Bug - CppCompiler, Front-end. Date Confirmed May 20, 2021 and Closed Nov. 24, 2021. https:\/\/developercommunity.visualstudio.com\/t\/internal-compiler-error-when-compiling-program-wit\/1427553"},{"key":"e_1_3_2_1_81_1","volume-title":"Date Confirmed","author":"CppCompiler MSVC","year":"2021","unstructured":"MSVC Bug - CppCompiler , Front-end. Date Confirmed May 20, 2021 and Fixed Nov . 9, 2021. https:\/\/developercommunity.visualstudio.com\/t\/syntactically-invalid-c-program-causes-microsoft-c\/1427550 MSVC Bug - CppCompiler, Front-end. Date Confirmed May 20, 2021 and Fixed Nov. 9, 2021. https:\/\/developercommunity.visualstudio.com\/t\/syntactically-invalid-c-program-causes-microsoft-c\/1427550"},{"key":"e_1_3_2_1_82_1","doi-asserted-by":"publisher","DOI":"10.1109\/APCCAS.2016.7804063"},{"key":"e_1_3_2_1_83_1","volume-title":"Requests D88931 and D97686. https:\/\/reviews.llvm.org\/D88931 Date Approved","author":"LLVM.","year":"2021","unstructured":"Phabricator- LLVM. 2020. Requests D88931 and D97686. https:\/\/reviews.llvm.org\/D88931 Date Approved March 3, 2021 Phabricator-LLVM. 2020. Requests D88931 and D97686. https:\/\/reviews.llvm.org\/D88931 Date Approved March 3, 2021"},{"key":"e_1_3_2_1_84_1","volume-title":"https:\/\/reviews.llvm.org\/D118234 Date Approved","author":"LLVM.","year":"2022","unstructured":"Phabricator- LLVM. 2022. Request D118234. https:\/\/reviews.llvm.org\/D118234 Date Approved October 11, 2022 Phabricator-LLVM. 2022. Request D118234. https:\/\/reviews.llvm.org\/D118234 Date Approved October 11, 2022"},{"key":"e_1_3_2_1_85_1","volume-title":"Requests D142638 and D150857. https:\/\/reviews.llvm.org\/D150857 Under review: date","author":"LLVM.","year":"2023","unstructured":"Phabricator- LLVM. 2023. Requests D142638 and D150857. https:\/\/reviews.llvm.org\/D150857 Under review: date January 26, 2023 (re-open: May 18, 2023) Phabricator-LLVM. 2023. Requests D142638 and D150857. https:\/\/reviews.llvm.org\/D150857 Under review: date January 26, 2023 (re-open: May 18, 2023)"},{"key":"e_1_3_2_1_86_1","unstructured":"John Regehr. 2020. The Saturation Effect in Fuzzing. https:\/\/blog.regehr.org\/archives\/1796 \t\t\t\t  John Regehr. 2020. The Saturation Effect in Fuzzing. https:\/\/blog.regehr.org\/archives\/1796"},{"key":"e_1_3_2_1_87_1","doi-asserted-by":"publisher","DOI":"10.1145\/2254064.2254104"},{"key":"e_1_3_2_1_88_1","volume-title":"Date Confirmed","author":"LLVM","year":"2022","unstructured":"LLVM Bug - Front-end (reported independently before we found it) . Date Confirmed Jan. 26, 2022 . https:\/\/github.com\/llvm\/llvm-project\/issues\/49081 LLVM Bug - Front-end (reported independently before we found it). Date Confirmed Jan. 26, 2022. https:\/\/github.com\/llvm\/llvm-project\/issues\/49081"},{"key":"e_1_3_2_1_89_1","volume-title":"Date Reported","author":"LLVM","year":"2021","unstructured":"LLVM Bug - ASan (reported independently before we found it) . Date Reported Feb. 20, 2021 . https:\/\/github.com\/llvm\/llvm-project\/issues\/48633 LLVM Bug - ASan (reported independently before we found it). Date Reported Feb. 20, 2021. https:\/\/github.com\/llvm\/llvm-project\/issues\/48633"},{"key":"e_1_3_2_1_90_1","volume-title":"Date Reported","author":"LLVM","year":"2021","unstructured":"LLVM Bug - Front-end (reported independently before we found it) . Date Reported Jun. 26, 2021 . https:\/\/github.com\/llvm\/llvm-project\/issues\/50222 LLVM Bug - Front-end (reported independently before we found it). Date Reported Jun. 26, 2021. https:\/\/github.com\/llvm\/llvm-project\/issues\/50222"},{"key":"e_1_3_2_1_91_1","volume-title":"Date Reported","author":"LLVM","year":"2015","unstructured":"LLVM Bug - Front-end (reported independently before we found it) . Date Reported Nov. 12, 2015 and Fixed on early 2022. https:\/\/github.com\/llvm\/llvm-project\/issues\/25871 LLVM Bug - Front-end (reported independently before we found it). Date Reported Nov. 12, 2015 and Fixed on early 2022. https:\/\/github.com\/llvm\/llvm-project\/issues\/25871"},{"key":"e_1_3_2_1_92_1","doi-asserted-by":"publisher","DOI":"10.1145\/3368089.3409710"},{"key":"e_1_3_2_1_93_1","doi-asserted-by":"crossref","unstructured":"Sergio Segura Gordon Fraser Ana Sanchez and Antonio Ruiz-Cort\u00e9s. 2016. A Survey on Metamorphic Testing. \t\t\t\t  Sergio Segura Gordon Fraser Ana Sanchez and Antonio Ruiz-Cort\u00e9s. 2016. A Survey on Metamorphic Testing.","DOI":"10.1109\/TSE.2016.2532875"},{"key":"e_1_3_2_1_94_1","unstructured":"Kostya Serebryany. 2022. Personal communication \t\t\t\t  Kostya Serebryany. 2022. Personal communication"},{"key":"e_1_3_2_1_95_1","volume-title":"Proc. of the 2012 USENIX Annual Technical Conference (USENIX ATC\u201912)","author":"Serebryany Konstantin","year":"2012","unstructured":"Konstantin Serebryany , Derek Bruening , Alexander Potapenko , and Dmitry Vyukov . 2012 . AddressSanitizer: A Fast Address Sanity Checker . In Proc. of the 2012 USENIX Annual Technical Conference (USENIX ATC\u201912) . https:\/\/doi.org\/10.5555\/2342821.2342849 10.5555\/2342821.2342849 Konstantin Serebryany, Derek Bruening, Alexander Potapenko, and Dmitry Vyukov. 2012. AddressSanitizer: A Fast Address Sanity Checker. In Proc. of the 2012 USENIX Annual Technical Conference (USENIX ATC\u201912). https:\/\/doi.org\/10.5555\/2342821.2342849"},{"key":"e_1_3_2_1_96_1","volume-title":"2017 US LLVM Developers\u2019 Meeting.  https:\/\/llvm.org\/devmtg\/2017-10\/slides\/","author":"Serebryany Kostya","year":"2017","unstructured":"Kostya Serebryany , Vitaly Buka , and Matt Morehouse . 2017 . Structure-aware fuzzing for Clang and LLVM with libprotobuf-mutator . In 2017 US LLVM Developers\u2019 Meeting. https:\/\/llvm.org\/devmtg\/2017-10\/slides\/ Kostya Serebryany, Vitaly Buka, and Matt Morehouse. 2017. Structure-aware fuzzing for Clang and LLVM with libprotobuf-mutator. In 2017 US LLVM Developers\u2019 Meeting. https:\/\/llvm.org\/devmtg\/2017-10\/slides\/"},{"key":"e_1_3_2_1_97_1","volume-title":"SiliFuzz: Fuzzing CPUs by proxy. CoRR, abs\/2110.11519","author":"Serebryany Kostya","year":"2021","unstructured":"Kostya Serebryany , Maxim Lifantsev , Konstantin Shtoyk , Doug Kwan , and Peter Hochschild . 2021. SiliFuzz: Fuzzing CPUs by proxy. CoRR, abs\/2110.11519 ( 2021 ), arXiv:2110.11519. Kostya Serebryany, Maxim Lifantsev, Konstantin Shtoyk, Doug Kwan, and Peter Hochschild. 2021. SiliFuzz: Fuzzing CPUs by proxy. CoRR, abs\/2110.11519 (2021), arXiv:2110.11519."},{"key":"e_1_3_2_1_98_1","doi-asserted-by":"publisher","DOI":"10.1109\/CGO.2015.7054186"},{"key":"e_1_3_2_1_99_1","unstructured":"2017. Undefined Behavior Sanitizer. https:\/\/clang.llvm.org\/docs\/UndefinedBehaviorSanitizer.html \t\t\t\t  2017. Undefined Behavior Sanitizer. https:\/\/clang.llvm.org\/docs\/UndefinedBehaviorSanitizer.html"},{"key":"e_1_3_2_1_100_1","doi-asserted-by":"publisher","DOI":"10.1145\/3426425.3426946"},{"key":"e_1_3_2_1_101_1","doi-asserted-by":"publisher","DOI":"10.1145\/3314221.3314589"},{"key":"e_1_3_2_1_102_1","doi-asserted-by":"publisher","DOI":"10.5281\/zenodo.5982794"},{"key":"e_1_3_2_1_103_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2019.00081"},{"key":"e_1_3_2_1_104_1","volume-title":"Date Accessed","author":"Wikipedia","year":"2022","unstructured":"Wikipedia : GNU Compiler Collection . Date Accessed May 18, 2022 . https:\/\/en.wikipedia.org\/wiki\/GNU_Compiler_Collection#cite_note-loc-4 Wikipedia: GNU Compiler Collection. Date Accessed May 18, 2022. https:\/\/en.wikipedia.org\/wiki\/GNU_Compiler_Collection#cite_note-loc-4"},{"key":"e_1_3_2_1_105_1","doi-asserted-by":"publisher","DOI":"10.1145\/1993498.1993532"},{"key":"e_1_3_2_1_106_1","unstructured":"Michal Zalewski. [n. d.]. Technical \u201cwhitepaper\u201d for afl-fuzz. http:\/\/lcamtuf.coredump.cx\/afl\/technical_details.txt \t\t\t\t  Michal Zalewski. [n. d.]. Technical \u201cwhitepaper\u201d for afl-fuzz. http:\/\/lcamtuf.coredump.cx\/afl\/technical_details.txt"},{"key":"e_1_3_2_1_107_1","volume-title":"Date Accessed","author":"Foundation Zig Software","year":"2022","unstructured":"Zig Software Foundation . Date Accessed September 1, 2022 . Zig programming language. https:\/\/ziglang.org\/ Zig Software Foundation. Date Accessed September 1, 2022. Zig programming language. https:\/\/ziglang.org\/"}],"event":{"name":"ISSTA '23: 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis","location":"Seattle WA USA","acronym":"ISSTA '23","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering","AITO"]},"container-title":["Proceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3597926.3598130","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3597926.3598130","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T17:48:43Z","timestamp":1750182523000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3597926.3598130"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,7,12]]},"references-count":107,"alternative-id":["10.1145\/3597926.3598130","10.1145\/3597926"],"URL":"https:\/\/doi.org\/10.1145\/3597926.3598130","relation":{},"subject":[],"published":{"date-parts":[[2023,7,12]]},"assertion":[{"value":"2023-07-13","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}