{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:33:21Z","timestamp":1750307601220,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":45,"publisher":"ACM","license":[{"start":{"date-parts":[[2010,4,13]],"date-time":"2010-04-13T00:00:00Z","timestamp":1271116800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/100000006","name":"Office of Naval Research","doi-asserted-by":"publisher","award":["N000140710928"],"award-info":[{"award-number":["N000140710928"]}],"id":[{"id":"10.13039\/100000006","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100000144","name":"Division of Computer and Network Systems","doi-asserted-by":"publisher","award":["CNS-0627687CNS-0831298CNS-0627687"],"award-info":[{"award-number":["CNS-0627687CNS-0831298CNS-0627687"]}],"id":[{"id":"10.13039\/100000144","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2010,4,13]]},"DOI":"10.1145\/1755688.1755707","type":"proceedings-article","created":{"date-parts":[[2010,4,16]],"date-time":"2010-04-16T14:28:35Z","timestamp":1271428115000},"page":"145-156","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":41,"title":["PAriCheck"],"prefix":"10.1145","author":[{"given":"Yves","family":"Younan","sequence":"first","affiliation":[{"name":"Katholieke Universiteit Leuven"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Pieter","family":"Philippaerts","sequence":"additional","affiliation":[{"name":"Katholieke Universiteit Leuven"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Lorenzo","family":"Cavallaro","sequence":"additional","affiliation":[{"name":"Vrije Universiteit Amsterdam, University of California at Santa Barbara"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"R.","family":"Sekar","sequence":"additional","affiliation":[{"name":"Stony Brook University"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Frank","family":"Piessens","sequence":"additional","affiliation":[{"name":"Katholieke Universiteit Leuven"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Wouter","family":"Joosen","sequence":"additional","affiliation":[{"name":"Katholieke Universiteit Leuven"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2010,4,13]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/1102120.1102165"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2008.30"},{"key":"e_1_3_2_1_3_1","volume-title":"Proceedings of the 18th USENIX Security Symposium","author":"Akritidis Periklis","year":"2009","unstructured":"Periklis Akritidis , Manuel Costa , Miguel Castro , and Steven Hand . Baggy bounds checking: An efficient and backwards-compatible defense against out-of-bounds errors . In Proceedings of the 18th USENIX Security Symposium , Montreal, QC , August 2009 . Periklis Akritidis, Manuel Costa, Miguel Castro, and Steven Hand. Baggy bounds checking: An efficient and backwards-compatible defense against out-of-bounds errors. In Proceedings of the 18th USENIX Security Symposium, Montreal, QC, August 2009."},{"key":"e_1_3_2_1_4_1","first-page":"49","article-title":"Smashing the stack for fun and profit","year":"1996","unstructured":"Aleph1 . Smashing the stack for fun and profit . Phrack , 49 , 1996 . Aleph1. Smashing the stack for fun and profit. Phrack, 49, 1996.","journal-title":"Phrack"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/178243.178446"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/948109.948147"},{"key":"e_1_3_2_1_7_1","first-page":"105","volume-title":"Proceedings of the 12th USENIX Security Symposium","author":"Bhatkar Sandeep","year":"2003","unstructured":"Sandeep Bhatkar , Daniel C. DuVarney , and R. Sekar . Address obfuscation: An efficient approach to combat a broad range of memory error exploits . In Proceedings of the 12th USENIX Security Symposium , pages 105 -- 120 , Washington, D.C. , August 2003 . Sandeep Bhatkar, Daniel C. DuVarney, and R. Sekar. Address obfuscation: An efficient approach to combat a broad range of memory error exploits. In Proceedings of the 12th USENIX Security Symposium, pages 105--120, Washington, D.C., August 2003."},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-70542-0_1"},{"key":"e_1_3_2_1_9_1","volume-title":"14th USENIX Security Symposium","author":"Bhatkar Sandeep","year":"2005","unstructured":"Sandeep Bhatkar , R. Sekar , and Daniel C . DuVarney. Efficient techniques for comprehensive protection from memory error exploits . In 14th USENIX Security Symposium , Baltimore, MD , August 2005 . Sandeep Bhatkar, R. Sekar, and Daniel C. DuVarney. Efficient techniques for comprehensive protection from memory error exploits. In 14th USENIX Security Symposium, Baltimore, MD, August 2005."},{"volume-title":"Phrack","year":"2002","key":"e_1_3_2_1_10_1","unstructured":"blexim. Basic integer overflows . Phrack , 60, December 2002 . blexim. Basic integer overflows. Phrack, 60, December 2002."},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/349299.349342"},{"key":"e_1_3_2_1_12_1","volume-title":"Proceedings of the 14th USENIX Security Symposium","author":"Chen Shuo","year":"2005","unstructured":"Shuo Chen , Jun Xu , Emre C. Sezer , Prachi Gauriar , and Ravishankar K. Iyer . Non-control-data attacks are realistic threats . In Proceedings of the 14th USENIX Security Symposium , Baltimore, MD , August 2005 . Shuo Chen, Jun Xu, Emre C. Sezer, Prachi Gauriar, and Ravishankar K. Iyer. Non-control-data attacks are realistic threats. In Proceedings of the 14th USENIX Security Symposium, Baltimore, MD, August 2005."},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.5555\/876878.879316"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/1321631.1321673"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/781131.781157"},{"key":"e_1_3_2_1_16_1","first-page":"91","volume-title":"Proceedings of the 12th USENIX Security Symposium","author":"Cowan Crispin","year":"2003","unstructured":"Crispin Cowan , Steve Beattie , John Johansen , and Perry Wagle . PointGuard : protecting pointers from buffer overflow vulnerabilities . In Proceedings of the 12th USENIX Security Symposium , pages 91 -- 104 , Washington, D.C. , August 2003 . Crispin Cowan, Steve Beattie, John Johansen, and Perry Wagle. PointGuard: protecting pointers from buffer overflow vulnerabilities. In Proceedings of the 12th USENIX Security Symposium, pages 91--104, Washington, D.C., August 2003."},{"key":"e_1_3_2_1_17_1","first-page":"63","volume-title":"Proceedings of the 7th USENIX Security Symposium","author":"Cowan Crispin","year":"1998","unstructured":"Crispin Cowan , Calton Pu , Dave Maier , Heather Hinton , Jonathan Walpole , Peat Bakke , Steve Beattie , Aaron Grier , Perry Wagle , and Qian Zhang . StackGuard : Automatic adaptive detection and prevention of buffer-overflow attacks . In Proceedings of the 7th USENIX Security Symposium , pages 63 -- 78 , San Antonio, TX , January 1998 . Crispin Cowan, Calton Pu, Dave Maier, Heather Hinton, Jonathan Walpole, Peat Bakke, Steve Beattie, Aaron Grier, Perry Wagle, and Qian Zhang. StackGuard: Automatic adaptive detection and prevention of buffer-overflow attacks. In Proceedings of the 7th USENIX Security Symposium, pages 63--78, San Antonio, TX, January 1998."},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/1134285.1134309"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/780732.780743"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-04117-4_30"},{"key":"e_1_3_2_1_21_1","volume-title":"IBM Research Tokyo","author":"Etoh Hiroaki","year":"2000","unstructured":"Hiroaki Etoh and Kunikazu Yoda . Protecting from stack-smashing attacks. Technical report , IBM Research Tokyo , June 2000 . Hiroaki Etoh and Kunikazu Yoda. Protecting from stack-smashing attacks. Technical report, IBM Research Tokyo, June 2000."},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/512529.512563"},{"key":"e_1_3_2_1_23_1","first-page":"275","volume-title":"USENIX Annual Technical Conference","author":"Jim Trevor","year":"2002","unstructured":"Trevor Jim , Greg Morrisett , Dan Grossman , Michael Hicks , James Cheney , and Yanling Wang . Cyclone : A safe dialect of C . In USENIX Annual Technical Conference , pages 275 -- 288 , Monterey, CA , June 2002 . Trevor Jim, Greg Morrisett, Dan Grossman, Michael Hicks, James Cheney, and Yanling Wang. Cyclone: A safe dialect of C. In USENIX Annual Technical Conference, pages 275--288, Monterey, CA, June 2002."},{"key":"e_1_3_2_1_24_1","first-page":"13","volume-title":"Proceedings of the 3rd International Workshop on Automatic Debugging","author":"Richard W.","year":"1997","unstructured":"Richard W. M. Jones and Paul H. J. Kelly. Backwards-compatible bounds checking for arrays and pointers in C programs . In Proceedings of the 3rd International Workshop on Automatic Debugging , pages 13 -- 26 , Link\u00f6ping, Sweden , 1997 . Richard W. M. Jones and Paul H. J. Kelly. Backwards-compatible bounds checking for arrays and pointers in C programs. In Proceedings of the 3rd International Workshop on Automatic Debugging, pages 13--26, Link\u00f6ping, Sweden, 1997."},{"key":"e_1_3_2_1_25_1","volume-title":"Programming languages -- C. Technical report","author":"JTC","year":"1999","unstructured":"JTC 1\/SC 22\/WG 14. ISO\/IEC 9899:1999 : Programming languages -- C. Technical report , International Organization for Standards , 1999 . JTC 1\/SC 22\/WG 14. ISO\/IEC 9899:1999: Programming languages -- C. Technical report, International Organization for Standards, 1999."},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/948109.948146"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/581630.581678"},{"key":"e_1_3_2_1_28_1","volume-title":"November","author":"Krennmair Andreas","year":"2003","unstructured":"Andreas Krennmair . ContraPolice: a libc extension for protecting applications from heap-smashing attacks , November 2003 . Andreas Krennmair. ContraPolice: a libc extension for protecting applications from heap-smashing attacks, November 2003."},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1109\/MS.2004.1293079"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1145\/1542476.1542504"},{"key":"e_1_3_2_1_31_1","unstructured":"National Institute of Standards and Technology. National vulnerability database statistics. http:\/\/nvd.nist.gov\/statistics.cfm.  National Institute of Standards and Technology. National vulnerability database statistics. http:\/\/nvd.nist.gov\/statistics.cfm."},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1145\/503272.503286"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.5555\/647478.727796"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1145\/1542476.1542505"},{"key":"e_1_3_2_1_35_1","first-page":"51","volume-title":"Proceedings of the 17th Large Installation Systems Administrators Conference","author":"Robertson William","year":"2003","unstructured":"William Robertson , Christopher Kruegel , Darren Mutz , and Frederik Valeur . Run-time detection of heap-based overflows . In Proceedings of the 17th Large Installation Systems Administrators Conference , pages 51 -- 60 , San Diego, CA , October 2003 . William Robertson, Christopher Kruegel, Darren Mutz, and Frederik Valeur. Run-time detection of heap-based overflows. In Proceedings of the 17th Large Installation Systems Administrators Conference, pages 51--60, San Diego, CA, October 2003."},{"key":"e_1_3_2_1_36_1","volume-title":"Proceedings of the 11th Annual Network and Distributed System Security Symposium","author":"Ruwase Olatunji","year":"2004","unstructured":"Olatunji Ruwase and Monica S. Lam . A practical dynamic buffer overflow detector . In Proceedings of the 11th Annual Network and Distributed System Security Symposium , San Diego, CA , February 2004 . Olatunji Ruwase and Monica S. Lam. A practical dynamic buffer overflow detector. In Proceedings of the 11th Annual Network and Distributed System Security Symposium, San Diego, CA, February 2004."},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1145\/1315245.1315313"},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1002\/spe.4380220403"},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1145\/1519144.1519145"},{"key":"e_1_3_2_1_40_1","unstructured":"The PaX Team. Documentation for the PaX project.  The PaX Team. Documentation for the PaX project."},{"key":"e_1_3_2_1_41_1","unstructured":"Vendicator. Documentation for stackshield.  Vendicator. Documentation for stackshield."},{"key":"e_1_3_2_1_42_1","first-page":"260","volume-title":"22nd International Symposium on Reliable Distributed Systems (SRDS'03)","author":"Xu Jun","year":"2003","unstructured":"Jun Xu , Zbigniew Kalbarczyk , and Ravishankar K. Iyer . Transparent runtime randomization for security . In 22nd International Symposium on Reliable Distributed Systems (SRDS'03) , pages 260 -- 269 , Florence, Italy , October 2003 . IEEE Press. Jun Xu, Zbigniew Kalbarczyk, and Ravishankar K. Iyer. Transparent runtime randomization for security. In 22nd International Symposium on Reliable Distributed Systems (SRDS'03), pages 260--269, Florence, Italy, October 2003. IEEE Press."},{"key":"e_1_3_2_1_43_1","doi-asserted-by":"publisher","DOI":"10.1145\/1029894.1029913"},{"key":"e_1_3_2_1_45_1","doi-asserted-by":"publisher","DOI":"10.1007\/11935308_27"},{"key":"e_1_3_2_1_46_1","doi-asserted-by":"publisher","DOI":"10.1109\/ACSAC.2006.27"}],"event":{"name":"ASIA CCS '10: 5th ACM Symposium on Information, Computer and Communications Security","sponsor":["SIGSAC ACM Special Interest Group on Security, Audit, and Control"],"location":"Beijing China","acronym":"ASIA CCS '10"},"container-title":["Proceedings of the 5th ACM Symposium on Information, Computer and Communications Security"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1755688.1755707","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1755688.1755707","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T12:45:30Z","timestamp":1750250730000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1755688.1755707"}},"subtitle":["an efficient pointer arithmetic checker for C programs"],"short-title":[],"issued":{"date-parts":[[2010,4,13]]},"references-count":45,"alternative-id":["10.1145\/1755688.1755707","10.1145\/1755688"],"URL":"https:\/\/doi.org\/10.1145\/1755688.1755707","relation":{},"subject":[],"published":{"date-parts":[[2010,4,13]]},"assertion":[{"value":"2010-04-13","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}