{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:30:41Z","timestamp":1750221041299,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":17,"publisher":"ACM","license":[{"start":{"date-parts":[[2019,7,10]],"date-time":"2019-07-10T00:00:00Z","timestamp":1562716800000},"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,7,10]]},"DOI":"10.1145\/3293882.3338998","type":"proceedings-article","created":{"date-parts":[[2019,7,11]],"date-time":"2019-07-11T12:13:31Z","timestamp":1562847211000},"page":"382-385","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":1,"title":["VBSAC: a value-based static analyzer for C"],"prefix":"10.1145","author":[{"given":"Chi","family":"Li","sequence":"first","affiliation":[{"name":"Tsinghua University, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Min","family":"Zhou","sequence":"additional","affiliation":[{"name":"Tsinghua University, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Zuxing","family":"Gu","sequence":"additional","affiliation":[{"name":"Tsinghua University, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Guang","family":"Chen","sequence":"additional","affiliation":[{"name":"Tsinghua University, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yuexing","family":"Wang","sequence":"additional","affiliation":[{"name":"Tsinghua University, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jiecheng","family":"Wu","sequence":"additional","affiliation":[{"name":"Tsinghua University, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ming","family":"Gu","sequence":"additional","affiliation":[{"name":"Tsinghua University, China"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2019,7,10]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/1646353.1646374"},{"key":"e_1_3_2_1_2_1","volume-title":"CPAchecker: A Tool for Configurable Software Verification. CoRR abs\/0902.0019","author":"Beyer Dirk","year":"2009","unstructured":"Dirk Beyer and M. Erkan Keremoglu . 2009. CPAchecker: A Tool for Configurable Software Verification. CoRR abs\/0902.0019 ( 2009 ). Dirk Beyer and M. Erkan Keremoglu. 2009. CPAchecker: A Tool for Configurable Software Verification. CoRR abs\/0902.0019 (2009)."},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/349299.349311"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.5555\/3155562.3155693"},{"key":"e_1_3_2_1_5_1","volume-title":"Evaluating Bug Finders - Test and Measurement of Static Code Analyzers. In COUFLESS","author":"Delaitre Aur\u00e9lien","year":"2015","unstructured":"Aur\u00e9lien Delaitre , Bertrand Stivalet , Elizabeth Fong , and Vadim Okun . 2015 . Evaluating Bug Finders - Test and Measurement of Static Code Analyzers. In COUFLESS 2015, Florence, Italy. 14\u201320. Aur\u00e9lien Delaitre, Bertrand Stivalet, Elizabeth Fong, and Vadim Okun. 2015. Evaluating Bug Finders - Test and Measurement of Static Code Analyzers. In COUFLESS 2015, Florence, Italy. 14\u201320."},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/2642937.2648616"},{"key":"e_1_3_2_1_7_1","volume-title":"Accessed on May 28","author":"Analyzer Clang Static","year":"2018","unstructured":"Clang Static Analyzer . Accessed on May 28 . 2018 . http:\/\/clang-analyzer.llvm.org\/ Clang Static Analyzer. Accessed on May 28. 2018. http:\/\/clang-analyzer.llvm.org\/"},{"key":"e_1_3_2_1_8_1","volume-title":"Accessed on May 28","author":"C.","year":"2018","unstructured":"Frama- C. Accessed on May 28 . 2018 . http:\/\/frama-c.com\/ Frama-C. Accessed on May 28. 2018. http:\/\/frama-c.com\/"},{"volume-title":"Accessed on May 28","year":"2018","key":"e_1_3_2_1_9_1","unstructured":"PVS-Studio. Accessed on May 28 . 2018 . https:\/\/www.viva64.com\/en\/pvs-studio\/ PVS-Studio. Accessed on May 28. 2018. https:\/\/www.viva64.com\/en\/pvs-studio\/"},{"key":"e_1_3_2_1_10_1","volume-title":"Efficient Program Analyses Using Deductive and Semantic Methodologies. 2017 IEEE 13th International Conference on e-Science (e-Science)","author":"Selvaraj Ganesh","year":"2017","unstructured":"Ganesh Selvaraj , Gerald Weber , and Christof Lutteroth . 2017 . Efficient Program Analyses Using Deductive and Semantic Methodologies. 2017 IEEE 13th International Conference on e-Science (e-Science) (2017), 440\u2013441. Ganesh Selvaraj, Gerald Weber, and Christof Lutteroth. 2017. Efficient Program Analyses Using Deductive and Semantic Methodologies. 2017 IEEE 13th International Conference on e-Science (e-Science) (2017), 440\u2013441."},{"key":"e_1_3_2_1_11_1","volume-title":"A tool for static C\/C++ code analysis. Accessed on May 28","author":"Cppcheck","year":"2018","unstructured":"Cppcheck : A tool for static C\/C++ code analysis. Accessed on May 28 . 2018 . http:\/\/cppcheck.sourceforge.net\/ Cppcheck: A tool for static C\/C++ code analysis. Accessed on May 28. 2018. http:\/\/cppcheck.sourceforge.net\/"},{"key":"e_1_3_2_1_12_1","volume-title":"A tool to detect bugs in Java and C\/C++\/Objective-C code. Accessed on May 28","author":"Infer","year":"2018","unstructured":"Infer : A tool to detect bugs in Java and C\/C++\/Objective-C code. Accessed on May 28 . 2018 . Infer: A tool to detect bugs in Java and C\/C++\/Objective-C code. Accessed on May 28. 2018."},{"key":"e_1_3_2_1_13_1","unstructured":"https:\/\/fbinfer.com\/  https:\/\/fbinfer.com\/"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/2970276.2970337"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/2786805.2786816"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1007\/s11704-014-3460-8"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/3134600.3134620"}],"event":{"name":"ISSTA '19: 28th ACM SIGSOFT International Symposium on Software Testing and Analysis","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering"],"location":"Beijing China","acronym":"ISSTA '19"},"container-title":["Proceedings of the 28th ACM SIGSOFT International Symposium on Software Testing and Analysis"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3293882.3338998","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3293882.3338998","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T00:43:51Z","timestamp":1750207431000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3293882.3338998"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,7,10]]},"references-count":17,"alternative-id":["10.1145\/3293882.3338998","10.1145\/3293882"],"URL":"https:\/\/doi.org\/10.1145\/3293882.3338998","relation":{},"subject":[],"published":{"date-parts":[[2019,7,10]]},"assertion":[{"value":"2019-07-10","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}