{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,10]],"date-time":"2025-11-10T23:23:01Z","timestamp":1762816981893,"version":"build-2065373602"},"publisher-location":"Singapore","reference-count":18,"publisher":"Springer Nature Singapore","isbn-type":[{"value":"9789819542123","type":"print"},{"value":"9789819542130","type":"electronic"}],"license":[{"start":{"date-parts":[[2025,11,11]],"date-time":"2025-11-11T00:00:00Z","timestamp":1762819200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2025,11,11]],"date-time":"2025-11-11T00:00:00Z","timestamp":1762819200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2026]]},"DOI":"10.1007\/978-981-95-4213-0_7","type":"book-chapter","created":{"date-parts":[[2025,11,10]],"date-time":"2025-11-10T23:18:16Z","timestamp":1762816696000},"page":"117-133","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Detecting Vector Container Errors in\u00a0C++ Programs via\u00a0Abstract Interpretation"],"prefix":"10.1007","author":[{"given":"Siyu","family":"Liu","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Liqian","family":"Chen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Guangsheng","family":"Fan","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Banghu","family":"Yin","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Chun","family":"Huang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ji","family":"Wang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2025,11,11]]},"reference":[{"key":"7_CR1","doi-asserted-by":"crossref","unstructured":"Prechelt, L.: Technical opinion: comparing Java vs. C\/C++ efficiency differences to interpersonal differences. Commun. ACM 42(10), 109\u2013112 (1999)","DOI":"10.1145\/317665.317683"},{"key":"7_CR2","unstructured":"Josuttis, N.M.: The C++ Standard Library: A Tutorial and Reference. Addison-Wesley (2012)"},{"key":"7_CR3","doi-asserted-by":"crossref","unstructured":"Babati, B., Pataki, N.: Static analysis of functors\u2019 mathematical properties in C++ source code. In: AIP Conference Proceedings, vol. 2116. AIP Publishing (2019)","DOI":"10.1063\/1.5114355"},{"key":"7_CR4","unstructured":"Horv\u00e1th, G., Pataki, N.: Clang matchers for verified usage of the C++ standard template library. Annales Mathematicae et Informaticae 44, 99\u2013109 (2015)"},{"key":"7_CR5","unstructured":"Online. Inference Kernel for Open Static Analyzers \u2014 github.com. https:\/\/github.com\/NASA-SW-VnV\/ikos"},{"key":"7_CR6","unstructured":"Online. Clang Static Analyzer \u2014 clang-analyzer.llvm.org. https:\/\/clang-analyzer.llvm.org"},{"key":"7_CR7","unstructured":"Online. Infer Static Analyzer | Infer | Infer \u2014 fbinfer.com. https:\/\/fbinfer.com"},{"key":"7_CR8","unstructured":"Online. Cppcheck - A tool for static C\/C++ code analysis \u2014 cppcheck.sourceforge.io. https:\/\/cppcheck.sourceforge.io\/"},{"issue":"2","key":"7_CR9","first-page":"227","volume":"60","author":"L Chen","year":"2023","unstructured":"Chen, L., Fan, G., Yin, B., Wang, J.: Research progress on abstract interpretation and its application. J. Comput. Res. Dev. 60(2), 227\u2013247 (2023)","journal-title":"J. Comput. Res. Dev."},{"key":"7_CR10","doi-asserted-by":"crossref","unstructured":"Cousot, P., Cousot, R.: Static determination of dynamic properties of programs. In: Proceedings of the 2nd International Symposium on Programming, Paris, France. Dunod, pp. 106\u2013130 (1976)","DOI":"10.1145\/390019.808314"},{"issue":"2","key":"7_CR11","doi-asserted-by":"publisher","first-page":"324","DOI":"10.1145\/234528.234740","volume":"28","author":"P Cousot","year":"1996","unstructured":"Cousot, P.: Abstract interpretation. ACM Comput. Surv. (CSUR) 28(2), 324\u2013328 (1996)","journal-title":"ACM Comput. Surv. (CSUR)"},{"issue":"1","key":"7_CR12","doi-asserted-by":"publisher","first-page":"103","DOI":"10.1111\/j.1749-6632.1993.tb52513.x","volume":"704","author":"M Ern\u00e9","year":"1993","unstructured":"Ern\u00e9, M., Koslowski, J., Melton, A., et al.: A primer on Galois connections. Ann. N. Y. Acad. Sci. 704(1), 103\u2013125 (1993)","journal-title":"Ann. N. Y. Acad. Sci."},{"key":"7_CR13","doi-asserted-by":"crossref","unstructured":"Li, Z., Ma, X., Hu, M., et al.: Detecting element accessing bugs in C++ sequence containers. In: ASE, pp. 883\u2013894 (2024)","DOI":"10.1145\/3691620.3695471"},{"key":"7_CR14","unstructured":"D\u00e9vai, G., Pataki, N.: A tool for formally specifying the C++ standard template library. In: Annales Universitatis Scientiarum Budapestinensis de Rolando E\u00f6tv\u00f6s Nominatae, Sectio Computatorica, vol. 31, pp. 147\u2013166 (2009)"},{"key":"7_CR15","unstructured":"Pataki, N.: C++ standard template library by ranges. In: Proceedings of the 8th International Conference on Applied Informatics (ICAI 2010), vol. 2, pp. 367\u2013374 (2010)"},{"issue":"1","key":"7_CR16","doi-asserted-by":"publisher","first-page":"17","DOI":"10.2478\/v10198-012-0003-9","volume":"12","author":"N Pataki","year":"2012","unstructured":"Pataki, N.: Safe iterator framework for the C++ standard template library. Acta Electrotechnica et Informatica 12(1), 17 (2012)","journal-title":"Acta Electrotechnica et Informatica"},{"issue":"5","key":"7_CR17","doi-asserted-by":"publisher","first-page":"71","DOI":"10.1016\/j.entcs.2011.06.005","volume":"264","author":"N Pataki","year":"2011","unstructured":"Pataki, N., Sz\u0171gyi, Z., D\u00e9vai, G.: Measuring the overhead of c++ standard template library safe variants. Electron. Notes Theor. Comput. Sci. 264(5), 71\u201383 (2011)","journal-title":"Electron. Notes Theor. Comput. Sci."},{"key":"7_CR18","doi-asserted-by":"crossref","unstructured":"Horv\u00e1th, G., P\u00e1ter-R\u00e9szeg, A., Pataki, N.: Detecting misusages of the C++ standard template library. In: Proceedings of the 10th International Conference on Applied Informatics (ICAI 2017), pp. 129\u2013136 (2017)","DOI":"10.14794\/ICAI.10.2017.129"}],"container-title":["Lecture Notes in Computer Science","Formal Methods and Software Engineering"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-981-95-4213-0_7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,11,10]],"date-time":"2025-11-10T23:18:18Z","timestamp":1762816698000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-981-95-4213-0_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,11,11]]},"ISBN":["9789819542123","9789819542130"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/978-981-95-4213-0_7","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2025,11,11]]},"assertion":[{"value":"11 November 2025","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"ICFEM","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Formal Engineering Methods","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Hangzhou","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"China","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2025","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"10 November 2025","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"13 November 2025","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"26","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"icfem2025","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/icfem2025.github.io\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}