{"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":1750221041234,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":41,"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"}],"funder":[{"name":"National Natural Science Foundation of China","award":["U1533130"],"award-info":[{"award-number":["U1533130"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2019,7,10]]},"DOI":"10.1145\/3293882.3330581","type":"proceedings-article","created":{"date-parts":[[2019,7,11]],"date-time":"2019-07-11T12:13:31Z","timestamp":1562847211000},"page":"341-351","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":17,"title":["Detecting memory errors at runtime with source-level instrumentation"],"prefix":"10.1145","author":[{"given":"Zhe","family":"Chen","sequence":"first","affiliation":[{"name":"Nanjing University of Aeronautics and Astronautics, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Junqi","family":"Yan","sequence":"additional","affiliation":[{"name":"Nanjing University of Aeronautics and Astronautics, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Shuanglong","family":"Kan","sequence":"additional","affiliation":[{"name":"Nanjing University of Aeronautics and Astronautics, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ju","family":"Qian","sequence":"additional","affiliation":[{"name":"Nanjing University of Aeronautics and Astronautics, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jingling","family":"Xue","sequence":"additional","affiliation":[{"name":"UNSW, Australia"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2019,7,10]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"Proceedings of the 18th USENIX Security Symposium. USENIX Association, 51\u201366","author":"Akritidis Periklis","year":"2009","unstructured":"Periklis Akritidis , Manuel Costa , Miguel Castro , and Steven Hand . 2009 . Baggy Bounds Checking: An Efficient and Backwards-Compatible Defense against Outof-Bounds Errors . In Proceedings of the 18th USENIX Security Symposium. USENIX Association, 51\u201366 . Periklis Akritidis, Manuel Costa, Miguel Castro, and Steven Hand. 2009. Baggy Bounds Checking: An Efficient and Backwards-Compatible Defense against Outof-Bounds Errors. In Proceedings of the 18th USENIX Security Symposium. USENIX Association, 51\u201366."},{"issue":"0","key":"e_1_3_2_1_2_1","first-page":"0","article-title":"Movec-MSBench: A Memory Safety Benchmark Suite","volume":"1","author":"Chen Zhe","year":"2019","unstructured":"Zhe Chen . 2019 . Movec-MSBench: A Memory Safety Benchmark Suite , Version 1 . 0 . 0 . https:\/\/github.com\/drzchen\/movec-msbench Zhe Chen. 2019. Movec-MSBench: A Memory Safety Benchmark Suite, Version 1.0.0. https:\/\/github.com\/drzchen\/movec-msbench","journal-title":"Version"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1002\/spe.2242"},{"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.1007\/978-3-662-49674-9_17"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/3183440.3194962"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/1134285.1134309"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-08867-9_32"},{"key":"e_1_3_2_1_9_1","unstructured":"RTCA DO-178C. December 2011. Software Considerations in Airborne Systems and Equipment Certification. RTCA Inc.  RTCA DO-178C. December 2011. Software Considerations in Airborne Systems and Equipment Certification. RTCA Inc."},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1134\/S0361768817050024"},{"volume-title":"Proceedings of the IEEE 4th Annual Workshop on Workload Characterization. IEEE, 3\u201314","author":"Guthaus Matthew R.","key":"e_1_3_2_1_11_1","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\u201314 . 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\u201314."},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/2259016.2259034"},{"key":"e_1_3_2_1_13_1","volume-title":"In Proceedings of the","author":"Hastings Reed","year":"1992","unstructured":"Reed Hastings and Bob Joyce . 1992 . Purify: Fast detection of memory leaks and access errors . In In Proceedings of the Winter 1992 USENIX Conference. 125\u2013138. Reed Hastings and Bob Joyce. 1992. Purify: Fast detection of memory leaks and access errors. In In Proceedings of the Winter 1992 USENIX Conference. 125\u2013138."},{"key":"e_1_3_2_1_14_1","volume-title":"Proceedings of the 3rd International Workshop on Automated Debugging, AADEBUG","author":"Richard W.","year":"1997","unstructured":"Richard W. M. Jones and Paul H. J. Kelly. 1997. Backwards-Compatible Bounds Checking for Arrays and Pointers in C Programs . In Proceedings of the 3rd International Workshop on Automated Debugging, AADEBUG 1997 . 13\u201326. Richard W. M. Jones and Paul H. J. Kelly. 1997. Backwards-Compatible Bounds Checking for Arrays and Pointers in C Programs. In Proceedings of the 3rd International Workshop on Automated Debugging, AADEBUG 1997. 13\u201326."},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/1882291.1882338"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/2884781.2884784"},{"key":"e_1_3_2_1_17_1","volume-title":"Proceedings of the 4th International Conference on Fundamental Approaches to Software Engineering, FASE 2001 (Lecture Notes in Computer Science)","volume":"2029","author":"Loginov Alexey","unstructured":"Alexey Loginov , Suan Hsi Yong , Susan Horwitz , and Thomas W. Reps . 2001. Debugging via Run-Time Type Checking . In Proceedings of the 4th International Conference on Fundamental Approaches to Software Engineering, FASE 2001 (Lecture Notes in Computer Science) , Vol. 2029 . Springer, 217\u2013232. Alexey Loginov, Suan Hsi Yong, Susan Horwitz, and Thomas W. Reps. 2001. Debugging via Run-Time Type Checking. In Proceedings of the 4th International Conference on Fundamental Approaches to Software Engineering, FASE 2001 (Lecture Notes in Computer Science), Vol. 2029. Springer, 217\u2013232."},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.5555\/2337159.2337181"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/2581122.2544147"},{"key":"e_1_3_2_1_20_1","volume-title":"SNAPL 2015 (LIPIcs)","volume":"32","author":"Nagarakatte Santosh","year":"2015","unstructured":"Santosh Nagarakatte , Milo M. K. Martin , and Steve Zdancewic . 2015 . Everything You Want to Know About Pointer-Based Checking. In 1st Summit on Advances in Programming Languages , SNAPL 2015 (LIPIcs) , Vol. 32 . Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 190\u2013208. Santosh Nagarakatte, Milo M. K. Martin, and Steve Zdancewic. 2015. Everything You Want to Know About Pointer-Based Checking. In 1st Summit on Advances in Programming Languages, SNAPL 2015 (LIPIcs), Vol. 32. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 190\u2013208."},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/1542476.1542504"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/1806651.1806657"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/1065887.1065892"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/503272.503286"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/1254810.1254820"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/1250734.1250746"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.5555\/250900.250910"},{"key":"e_1_3_2_1_28_1","volume-title":"Proceedings of the 9th International Workshop on Runtime Verification, RV 2009 (Lecture Notes in Computer Science)","volume":"5779","author":"Rosu Grigore","year":"2009","unstructured":"Grigore Rosu , Wolfram Schulte , and Traian-Florin Serbanuta . 2009 . Runtime Verification of C Memory Safety . In Proceedings of the 9th International Workshop on Runtime Verification, RV 2009 (Lecture Notes in Computer Science) , Vol. 5779 . Grigore Rosu, Wolfram Schulte, and Traian-Florin Serbanuta. 2009. Runtime Verification of C Memory Safety. In Proceedings of the 9th International Workshop on Runtime Verification, RV 2009 (Lecture Notes in Computer Science), Vol. 5779."},{"key":"e_1_3_2_1_29_1","unstructured":"Springer 132\u2013151.  Springer 132\u2013151."},{"key":"e_1_3_2_1_30_1","volume-title":"Proceedings of the Network and Distributed System Security Symposium, NDSS","author":"Ruwase Olatunji","year":"2004","unstructured":"Olatunji Ruwase and Monica S. Lam . 2004. A Practical Dynamic Buffer Overflow Detector . In Proceedings of the Network and Distributed System Security Symposium, NDSS 2004 . The Internet Society, 159\u2013169. Olatunji Ruwase and Monica S. Lam. 2004. A Practical Dynamic Buffer Overflow Detector. In Proceedings of the Network and Distributed System Security Symposium, NDSS 2004. The Internet Society, 159\u2013169."},{"key":"e_1_3_2_1_31_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\u2013318. 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\u2013318."},{"key":"e_1_3_2_1_32_1","volume-title":"Proceedings of the 2005 USENIX Annual Technical Conference. USENIX, 17\u201330","author":"Seward Julian","year":"2005","unstructured":"Julian Seward and Nicholas Nethercote . 2005 . Using Valgrind to Detect Undefined Value Errors with Bit-Precision . In Proceedings of the 2005 USENIX Annual Technical Conference. USENIX, 17\u201330 . Julian Seward and Nicholas Nethercote. 2005. Using Valgrind to Detect Undefined Value Errors with Bit-Precision. In Proceedings of the 2005 USENIX Annual Technical Conference. USENIX, 17\u201330."},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1109\/SCAM.2010.15"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1002\/spe.2105"},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1145\/2338965.2336784"},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2014.2302311"},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1145\/3092255.3092269"},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1145\/1029894.1029913"},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1109\/ISSRE.2014.20"},{"key":"e_1_3_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.1145\/940071.940113"},{"key":"e_1_3_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.1145\/1993498.1993541"}],"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.3330581","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3293882.3330581","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.3330581"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,7,10]]},"references-count":41,"alternative-id":["10.1145\/3293882.3330581","10.1145\/3293882"],"URL":"https:\/\/doi.org\/10.1145\/3293882.3330581","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"}}]}}