{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,2]],"date-time":"2025-08-02T19:01:26Z","timestamp":1754161286201,"version":"3.41.2"},"publisher-location":"New York, NY, USA","reference-count":18,"publisher":"ACM","funder":[{"DOI":"10.13039\/501100001809","name":"National Natural Science Foundation of China","doi-asserted-by":"publisher","award":["62132020"],"award-info":[{"award-number":["62132020"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2025,6,23]]},"DOI":"10.1145\/3696630.3728590","type":"proceedings-article","created":{"date-parts":[[2025,7,28]],"date-time":"2025-07-28T19:09:27Z","timestamp":1753729767000},"page":"1104-1108","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["IceBear: A Fine-Grained Incremental Scheduler for C\/C++ Static Analyzers"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0009-0006-5288-9616","authenticated-orcid":false,"given":"Yu","family":"Xiao","sequence":"first","affiliation":[{"name":"Technology Center of Software Engineering, Institute of Software, Chinese Academy of Sciences, Beijing, China"},{"name":"University of Chinese Academy of Sciences, Beijing, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0009-0009-1510-1668","authenticated-orcid":false,"given":"Xutong","family":"Ma","sequence":"additional","affiliation":[{"name":"Inria, Paris, France"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0009-0008-4048-7817","authenticated-orcid":false,"given":"Zhilin","family":"Li","sequence":"additional","affiliation":[{"name":"Technology Center of Software Engineering, Institute of Software, Chinese Academy of Sciences, Beijing, China"},{"name":"University of Chinese Academy of Sciences, Beijing, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-2328-0781","authenticated-orcid":false,"given":"Jun","family":"Yan","sequence":"additional","affiliation":[{"name":"Technology Center of Software Engineering, Inistitute of Software, Chinese Academy of Sciences, Beijing, China"},{"name":"University of Chinese Academy of Sciences, Beijing, China"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2025,7,28]]},"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":"Proceedings of the 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis","author":"Charoenwet Wachiraphan","year":"2024","unstructured":"Wachiraphan Charoenwet, Patanamon Thongtanunam, Van-Thuan Pham, and Christoph Treude. 2024. An Empirical Study of Static Analysis Tools for Secure Code Review. In Proceedings of the 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis (Vienna, Austria) (ISSTA 2024). Association for Computing Machinery, New York, NY, USA, 691\u2013703. 10.1145\/3650212.3680313"},{"key":"e_1_3_2_1_3_1","unstructured":"Coverity. online. Coverity. https:\/\/documentation.blackduck.com\/bundle\/coverity-docs\/page\/coverity-analysis\/topics\/incremental_analysis.html."},{"key":"e_1_3_2_1_4_1","unstructured":"Daniel. online. Cppcheck. https:\/\/cppcheck.sourceforge.io\/."},{"key":"e_1_3_2_1_5_1","unstructured":"Ericsson. online. CodeChecker. https:\/\/codechecker.readthedocs.io\/en\/latest\/."},{"key":"e_1_3_2_1_6_1","unstructured":"Free Software Foundation. online. GNU Make. https:\/\/www.gnu.org\/software\/make\/"},{"key":"e_1_3_2_1_7_1","volume-title":"Proceedings of the 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis","author":"Ma Xutong","year":"2024","unstructured":"Xutong Ma, Jiwei Yan, Jun Yan, and Jian Zhang. 2024. Panda: A Concurrent Scheduler for Compiler-Based Tools. In Proceedings of the 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis (Vienna, Austria) (ISSTA 2024). Association for Computing Machinery, New York, NY, USA, 1871\u20131875. 10.1145\/3650212.3685311"},{"key":"e_1_3_2_1_8_1","unstructured":"Bal\u00e1zs Benics Philipp Dominik Schubert. 2024. IncrementalCSA. https:\/\/llvm.org\/devmtg\/2024-04\/slides\/TechnicalTalks\/Benics-IncrementalCSA.pdf."},{"key":"e_1_3_2_1_9_1","volume-title":"Proceedings of the 2013 9th Joint Meeting on Foundations of Software Engineering","author":"Peter","year":"2013","unstructured":"Peter C. Rigby and Christian Bird. 2013. Convergent contemporary software peer review practices. In Proceedings of the 2013 9th Joint Meeting on Foundations of Software Engineering (Saint Petersburg, Russia) (ESEC\/FSE 2013). Association for Computing Machinery, New York, NY, USA, 202\u2013212. 10.1145\/2491411.2491444"},{"key":"e_1_3_2_1_10_1","unstructured":"rizsotto. online. Rizsotto\/Bear: Bear is a tool that generates a compilation database for Clang tooling. https:\/\/github.com\/rizsotto\/Bear"},{"key":"e_1_3_2_1_11_1","volume-title":"Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering","author":"Szab\u00f3 Tam\u00e1s","year":"2023","unstructured":"Tam\u00e1s Szab\u00f3. 2023. Incrementalizing Production CodeQL Analyses. In Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (San Francisco, CA, USA) (ESEC\/FSE 2023). Association for Computing Machinery, New York, NY, USA, 1716\u20131726. 10.1145\/3611643.3613860"},{"key":"e_1_3_2_1_12_1","unstructured":"Clang Team. online. Clang Static Analyzer. https:\/\/clang-analyzer.llvm.org\/."},{"key":"e_1_3_2_1_13_1","unstructured":"Clang Team. online. Clang-Tidy. https:\/\/clang.llvm.org\/extra\/clang-tidy\/."},{"key":"e_1_3_2_1_14_1","unstructured":"Clang Team. online. JSON Compilation Database Format Specification. https:\/\/clang.llvm.org\/docs\/JSONCompilationDatabase.html."},{"key":"e_1_3_2_1_15_1","unstructured":"Clang Team. online. Scan-Build. https:\/\/clang-analyzer.llvm.org\/scan-build.html."},{"key":"e_1_3_2_1_16_1","unstructured":"GCC Team. online. GCC Static Analyzer. https:\/\/gcc.gnu.org\/wiki\/StaticAnalyzer."},{"key":"e_1_3_2_1_17_1","unstructured":"Infer Team. online. Infer. https:\/\/fbinfer.com\/."},{"volume-title":"The Free Encyclopedia","key":"e_1_3_2_1_18_1","unstructured":"Wikipedia. 2024. Translation unit (programming) \u2014 Wikipedia, The Free Encyclopedia. http:\/\/en.wikipedia.org\/w\/index.php?title=Translation%20unit%20(programming)&oldid=1196565012."}],"event":{"name":"FSE Companion '25: 33rd ACM International Conference on the Foundations of Software Engineering","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering"],"location":"Clarion Hotel Trondheim Trondheim Norway","acronym":"FSE Companion '25"},"container-title":["Proceedings of the 33rd ACM International Conference on the Foundations of Software Engineering"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3696630.3728590","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,7,28]],"date-time":"2025-07-28T19:20:29Z","timestamp":1753730429000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3696630.3728590"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,6,23]]},"references-count":18,"alternative-id":["10.1145\/3696630.3728590","10.1145\/3696630"],"URL":"https:\/\/doi.org\/10.1145\/3696630.3728590","relation":{},"subject":[],"published":{"date-parts":[[2025,6,23]]},"assertion":[{"value":"2025-07-28","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}