{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,12]],"date-time":"2026-06-12T10:08:20Z","timestamp":1781258900691,"version":"3.54.1"},"publisher-location":"New York, NY, USA","reference-count":24,"publisher":"ACM","license":[{"start":{"date-parts":[[2022,5,21]],"date-time":"2022-05-21T00:00:00Z","timestamp":1653091200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"name":"Open Project of State Key Laboratory for Novel Software Technology","award":["KFKT2020B10"],"award-info":[{"award-number":["KFKT2020B10"]}]},{"name":"Open Project of Shanghai Key Laboratory of Trustworthy Computing"},{"name":"Fundamental Research Funds for AI","award":["NZ2020019"],"award-info":[{"award-number":["NZ2020019"]}]},{"DOI":"10.13039\/501100001809","name":"National Natural Science Foundation of China","doi-asserted-by":"publisher","award":["62172217;U1533130"],"award-info":[{"award-number":["62172217;U1533130"]}],"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":[[2022,5,21]]},"DOI":"10.1145\/3510454.3516872","type":"proceedings-article","created":{"date-parts":[[2022,10,19]],"date-time":"2022-10-19T16:16:28Z","timestamp":1666196188000},"page":"6-10","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":2,"title":["A dynamic analysis tool for memory safety based on smart status and source-level instrumentation"],"prefix":"10.1145","author":[{"given":"Zhe","family":"Chen","sequence":"first","affiliation":[{"name":"Nanjing University of Aeronautics and Astronautics, Nanjing, Jiangsu, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Jun","family":"Wu","sequence":"additional","affiliation":[{"name":"Nanjing University of Aeronautics and Astronautics, Nanjing, Jiangsu, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Qi","family":"Zhang","sequence":"additional","affiliation":[{"name":"Nanjing University of Aeronautics and Astronautics, Nanjing, Jiangsu, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Jingling","family":"Xue","sequence":"additional","affiliation":[{"name":"University of New South Wales, Sydney, NSW, Australia"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2022,10,19]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"Zhe Chen. 2021. The MiBench and SPEC Benchmark Suites. https:\/\/github.com\/drzchen\/movec-benchmarks  Zhe Chen. 2021. The MiBench and SPEC Benchmark Suites. https:\/\/github.com\/drzchen\/movec-benchmarks"},{"key":"e_1_3_2_1_2_1","volume-title":"Movec: A Tool for the Monitoring and Verification of C Programs. https:\/\/github.com\/drzchen\/movec","author":"Chen Zhe","year":"2021","unstructured":"Zhe Chen . 2021 . Movec: A Tool for the Monitoring and Verification of C Programs. https:\/\/github.com\/drzchen\/movec Zhe Chen. 2021. Movec: A Tool for the Monitoring and Verification of C Programs. https:\/\/github.com\/drzchen\/movec"},{"issue":"0","key":"e_1_3_2_1_3_1","first-page":"1","article-title":"Movec-MSBench: A Memory Safety Benchmark Suite","volume":"2","author":"Chen Zhe","year":"2021","unstructured":"Zhe Chen . 2021 . Movec-MSBench: A Memory Safety Benchmark Suite , Version 2 . 0 . 1 . https:\/\/github.com\/drzchen\/movec-msbench Zhe Chen. 2021. Movec-MSBench: A Memory Safety Benchmark Suite, Version 2.0.1. https:\/\/github.com\/drzchen\/movec-msbench","journal-title":"Version"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/3183440.3195090"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/3460319.3464807"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/3293882.3330581"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/3183440.3194962"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/2509136.2509550"},{"key":"e_1_3_2_1_9_1","volume-title":"Proceedings of the 25th International Conference on Compiler Construction, CC 2016. ACM, 132--142","author":"Gregory","unstructured":"Gregory J. Duck and Roland H. C. Yap. 2016. Heap bounds protection with low fat pointers . In Proceedings of the 25th International Conference on Compiler Construction, CC 2016. ACM, 132--142 . Gregory J. Duck and Roland H. C. Yap. 2016. Heap bounds protection with low fat pointers. In Proceedings of the 25th International Conference on Compiler Construction, CC 2016. ACM, 132--142."},{"key":"e_1_3_2_1_10_1","volume-title":"Proceedings of the IEEE 4th Annual Workshop on Workload Characterization. IEEE, 3--14","author":"Guthaus Matthew R.","unstructured":"Matthew R. Guthaus , Jeffrey S. Ringenberg , Dan Ernst , Todd M. Austin , Trevor Mudge , and Richard B. Brown . 2001. MiBench: A free, commercially representative embedded benchmark suite . In Proceedings of the IEEE 4th Annual Workshop on Workload Characterization. IEEE, 3--14 . Matthew R. Guthaus, Jeffrey S. Ringenberg, Dan Ernst, Todd M. Austin, Trevor Mudge, and Richard B. Brown. 2001. MiBench: A free, commercially representative embedded benchmark suite. In Proceedings of the IEEE 4th Annual Workshop on Workload Characterization. IEEE, 3--14."},{"key":"e_1_3_2_1_11_1","volume-title":"Proceedings of the 13th EuroSys Conference, EuroSys","author":"Kroes Taddeus","year":"2018","unstructured":"Taddeus Kroes , Koen Koning , Erik van der Kouwe, Herbert Bos, and Cristiano Giuffrida. 2018. Delta pointers: buffer overflow checks without the checks . In Proceedings of the 13th EuroSys Conference, EuroSys 2018 . ACM, 22:1--22:14. Taddeus Kroes, Koen Koning, Erik van der Kouwe, Herbert Bos, and Cristiano Giuffrida. 2018. Delta pointers: buffer overflow checks without the checks. In Proceedings of the 13th EuroSys Conference, EuroSys 2018. ACM, 22:1--22:14."},{"key":"e_1_3_2_1_12_1","volume-title":"Proceedings of the 38th International Conference on Software Engineering, ICSE 2016, Laura K. Dillon, Willem Visser, and Laurie Williams (Eds.). ACM, 911--922","author":"Liu Tongping","unstructured":"Tongping Liu , Charlie Curtsinger , and Emery D. Berger . 2016. DoubleTake: fast and precise error detection via evidence-based dynamic analysis . In Proceedings of the 38th International Conference on Software Engineering, ICSE 2016, Laura K. Dillon, Willem Visser, and Laurie Williams (Eds.). ACM, 911--922 . Tongping Liu, Charlie Curtsinger, and Emery D. Berger. 2016. DoubleTake: fast and precise error detection via evidence-based dynamic analysis. In Proceedings of the 38th International Conference on Software Engineering, ICSE 2016, Laura K. Dillon, Willem Visser, and Laurie Williams (Eds.). ACM, 911--922."},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/1542476.1542504"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/1806651.1806657"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/1254810.1254820"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/1250734.1250746"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-17138-4_4"},{"key":"e_1_3_2_1_18_1","first-page":"12","article-title":"ARM Memory Tagging Extension and How It Improves C\/C++ Memory Safety","volume":"44","author":"Serebryany Kostya","year":"2019","unstructured":"Kostya Serebryany . 2019 . ARM Memory Tagging Extension and How It Improves C\/C++ Memory Safety . The Usenix Magazine 44 , 2 (2019), 12 -- 16 . Kostya Serebryany. 2019. ARM Memory Tagging Extension and How It Improves C\/C++ Memory Safety. The Usenix Magazine 44, 2 (2019), 12--16.","journal-title":"The Usenix Magazine"},{"key":"e_1_3_2_1_19_1","volume-title":"AddressSanitizer: A Fast Address Sanity Checker. In 2012 USENIX Annual Technical Conference","author":"Serebryany Konstantin","year":"2012","unstructured":"Konstantin Serebryany , Derek Bruening , Alexander Potapenko , and Dmitriy Vyukov . 2012 . AddressSanitizer: A Fast Address Sanity Checker. In 2012 USENIX Annual Technical Conference , Boston, MA, USA. USENIX Association, 309--318. Konstantin Serebryany, Derek Bruening, Alexander Potapenko, and Dmitriy Vyukov. 2012. AddressSanitizer: A Fast Address Sanity Checker. In 2012 USENIX Annual Technical Conference, Boston, MA, USA. USENIX Association, 309--318."},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1002\/spe.2105"},{"key":"e_1_3_2_1_21_1","volume-title":"SoK: Eternal War in Memory. In 2013 IEEE Symposium on Security and Privacy, SP","author":"Szekeres Laszlo","year":"2013","unstructured":"Laszlo Szekeres , Mathias Payer , Tao Wei , and Dawn Song . 2013 . SoK: Eternal War in Memory. In 2013 IEEE Symposium on Security and Privacy, SP 2013. IEEE Computer Society, 48--62. Laszlo Szekeres, Mathias Payer, Tao Wei, and Dawn Song. 2013. SoK: Eternal War in Memory. In 2013 IEEE Symposium on Security and Privacy, SP 2013. IEEE Computer Society, 48--62."},{"key":"e_1_3_2_1_22_1","unstructured":"The MITRE Corporation. 2009-05-08. CWE-762: Mismatched Memory Management Routines. https:\/\/cwe.mitre.org\/data\/definitions\/762.html  The MITRE Corporation. 2009-05-08. CWE-762: Mismatched Memory Management Routines. https:\/\/cwe.mitre.org\/data\/definitions\/762.html"},{"key":"e_1_3_2_1_23_1","unstructured":"The MITRE Corporation. 2020-02-24. CWE-590: Free of Memory not on the Heap. https:\/\/cwe.mitre.org\/data\/definitions\/590.html  The MITRE Corporation. 2020-02-24. CWE-590: Free of Memory not on the Heap. https:\/\/cwe.mitre.org\/data\/definitions\/590.html"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/3092255.3092269"}],"event":{"name":"ICSE '22: 44th International Conference on Software Engineering","location":"Pittsburgh Pennsylvania","acronym":"ICSE '22","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering","IEEE CS"]},"container-title":["Proceedings of the ACM\/IEEE 44th International Conference on Software Engineering: Companion Proceedings"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3510454.3516872","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3510454.3516872","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T19:30:41Z","timestamp":1750188641000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3510454.3516872"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,5,21]]},"references-count":24,"alternative-id":["10.1145\/3510454.3516872","10.1145\/3510454"],"URL":"https:\/\/doi.org\/10.1145\/3510454.3516872","relation":{},"subject":[],"published":{"date-parts":[[2022,5,21]]},"assertion":[{"value":"2022-10-19","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}