{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,11]],"date-time":"2026-04-11T02:11:51Z","timestamp":1775873511108,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":43,"publisher":"ACM","license":[{"start":{"date-parts":[[2013,4,15]],"date-time":"2013-04-15T00:00:00Z","timestamp":1365984000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2013,4,15]]},"DOI":"10.1145\/2465351.2465380","type":"proceedings-article","created":{"date-parts":[[2013,4,17]],"date-time":"2013-04-17T19:57:35Z","timestamp":1366228655000},"page":"295-308","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":72,"title":["A compiler-level intermediate representation based binary analysis and rewriting system"],"prefix":"10.1145","author":[{"given":"Kapil","family":"Anand","sequence":"first","affiliation":[{"name":"University of Maryland, College Park"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Matthew","family":"Smithson","sequence":"additional","affiliation":[{"name":"University of Maryland, College Park"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Khaled","family":"Elwazeer","sequence":"additional","affiliation":[{"name":"University of Maryland, College Park"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Aparna","family":"Kotha","sequence":"additional","affiliation":[{"name":"University of Maryland, College Park"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jim","family":"Gruen","sequence":"additional","affiliation":[{"name":"University of Maryland, College Park"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Nathan","family":"Giles","sequence":"additional","affiliation":[{"name":"University of Maryland, College Park"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Rajeev","family":"Barua","sequence":"additional","affiliation":[{"name":"University of Maryland, College Park"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2013,4,15]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"A compiler-level intermediate representation based binary system. http:\/\/www.ece.umd.edu\/~barua\/eurosys13-extended.pdf.  A compiler-level intermediate representation based binary system. http:\/\/www.ece.umd.edu\/~barua\/eurosys13-extended.pdf."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1147\/sj.391.0211"},{"key":"e_1_3_2_1_3_1","unstructured":"Announcement for Binary Executable Transforms. http:\/\/www07.grants.gov\/.  Announcement for Binary Executable Transforms. http:\/\/www07.grants.gov\/."},{"key":"e_1_3_2_1_4_1","unstructured":"Apache HTTP server benchmarking tool. http:\/\/httpd.apache.org\/docs\/2.2\/programs\/ab.html.  Apache HTTP server benchmarking tool. http:\/\/httpd.apache.org\/docs\/2.2\/programs\/ab.html."},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-24723-4_2"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.5555\/1763048.1763050"},{"key":"e_1_3_2_1_7_1","unstructured":"Boomerang Decompiler. http:\/\/boomerang.sourceforge.net\/.  Boomerang Decompiler. http:\/\/boomerang.sourceforge.net\/."},{"key":"e_1_3_2_1_8_1","unstructured":"D. Bruening. Efficient Transparent and Comprehensive Runtime Code Manipulation. PhD thesis MIT 2004.   D. Bruening. Efficient Transparent and Comprehensive Runtime Code Manipulation . PhD thesis MIT 2004."},{"key":"e_1_3_2_1_9_1","first-page":"463","volume-title":"CAV","author":"Brumley D.","year":"2011","unstructured":"D. Brumley , I. Jager , T. Avgerinos , and E. J. Schwartz . BAP: A binary analysis platform . In CAV , pages 463 -- 469 , 2011 . D. Brumley, I. Jager, T. Avgerinos, and E. J. Schwartz. BAP: A binary analysis platform. In CAV, pages 463--469, 2011."},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1002\/(SICI)1097-024X(200006)30:7%3C775::AID-SPE309%3E3.0.CO;2-H"},{"key":"e_1_3_2_1_11_1","first-page":"209","volume-title":"Proceedings of the 8th USENIX conference on Operating systems design and implementation","author":"Cadar C.","year":"2008","unstructured":"C. Cadar , D. Dunbar , and D. Engler . KLEE: Unassisted and automatic generation of high-coverage tests for complex systems programs . In Proceedings of the 8th USENIX conference on Operating systems design and implementation , pages 209 -- 224 , 2008 . C. Cadar, D. Dunbar, and D. Engler. KLEE: Unassisted and automatic generation of high-coverage tests for complex systems programs. In Proceedings of the 8th USENIX conference on Operating systems design and implementation, pages 209--224, 2008."},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/1180405.1180445"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2012.31"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1109\/40.671403"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/1755913.1755932"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1109\/DSNW.2011.5958815"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/1961295.1950396"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1109\/2.825697"},{"key":"e_1_3_2_1_19_1","first-page":"63","volume-title":"Proceedings of the 7th conference on USENIX Security Symposium","author":"Cowan C.","year":"1998","unstructured":"C. Cowan and et al. Stackguard: automatic adaptive detection and prevention of buffer-overflow attacks . In Proceedings of the 7th conference on USENIX Security Symposium , pages 63 -- 78 , 1998 . C. Cowan and et al. Stackguard: automatic adaptive detection and prevention of buffer-overflow attacks. In Proceedings of the 7th conference on USENIX Security Symposium, pages 63--78, 1998."},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/2491956.2462165"},{"key":"e_1_3_2_1_21_1","series-title":"Oct 26","first-page":"4034","volume-title":"Propolice: Improved stack-smashing attack detection. IPSJ SIGNotes Computer Security 14","author":"Eto H.","year":"2001","unstructured":"H. Eto and K. Yoda . Propolice: Improved stack-smashing attack detection. IPSJ SIGNotes Computer Security 14 ( Oct 26 ), pages 4034 -- 4041 , 2001 . H. Eto and K. Yoda. Propolice: Improved stack-smashing attack detection. IPSJ SIGNotes Computer Security 14 (Oct 26), pages 4034--4041, 2001."},{"key":"e_1_3_2_1_22_1","first-page":"25","volume-title":"TCON'95: Proceedings of the USENIX 1995 Technical Conference","author":"Eustace A.","year":"1995","unstructured":"A. Eustace and A. Srivastava . ATOM: a flexible interface for building high performance program analysis tools . In TCON'95: Proceedings of the USENIX 1995 Technical Conference , pages 25 -- 25 , 1995 . A. Eustace and A. Srivastava. ATOM: a flexible interface for building high performance program analysis tools. In TCON'95: Proceedings of the USENIX 1995 Technical Conference, pages 25--25, 1995."},{"key":"e_1_3_2_1_23_1","unstructured":"Hex-Rays Decompiler. http:\/\/www.hex-rays.com\/.  Hex-Rays Decompiler. http:\/\/www.hex-rays.com\/."},{"key":"e_1_3_2_1_24_1","unstructured":"IDAPro disassembler. http:\/\/www.hex-rays.com\/idapro\/.  IDAPro disassembler. http:\/\/www.hex-rays.com\/idapro\/."},{"key":"e_1_3_2_1_25_1","first-page":"100","volume-title":"Dagstuhl Reports","author":"King A.","year":"2012","unstructured":"A. King , A. Mycroft , T. Reps , and A. Simon . Analysis of Executables: Benefits and Challenges . Dagstuhl Reports , pages 100 -- 116 , 2012 . A. King, A. Mycroft, T. Reps, and A. Simon. Analysis of Executables: Benefits and Challenges. Dagstuhl Reports, pages 100--116, 2012."},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1109\/MICRO.2010.27"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.5555\/977395.977673"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.5555\/2190025.2190050"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1145\/1065010.1065034"},{"key":"e_1_3_2_1_30_1","first-page":"15","volume-title":"In IEEE\/ACM International Symposium on Code Generation and Optimization","author":"Luk C.-K.","year":"2004","unstructured":"C.-K. Luk , R. Muth , H. Patil , R. Cohn , and G. Lowney . Ispike: A post-link optimizer for the Intel Itanium architecture . In In IEEE\/ACM International Symposium on Code Generation and Optimization , pages 15 -- 26 , 2004 . C.-K. Luk, R. Muth, H. Patil, R. Cohn, and G. Lowney. Ispike: A post-link optimizer for the Intel Itanium architecture. In In IEEE\/ACM International Symposium on Code Generation and Optimization, pages 15--26, 2004."},{"key":"e_1_3_2_1_31_1","first-page":"154","volume-title":"SEC","author":"O'Sullivan P.","year":"2011","unstructured":"P. O'Sullivan , K. Anand , A. Kotha , M. Smithson , R. Barua , and A. D. Keromytis . Retrofitting Security in COTS Software with Binary Rewriting . In SEC , pages 154 -- 172 , 2011 . P. O'Sullivan, K. Anand, A. Kotha, M. Smithson, R. Barua, and A. D. Keromytis. Retrofitting Security in COTS Software with Binary Rewriting. In SEC, pages 154--172, 2011."},{"key":"e_1_3_2_1_32_1","unstructured":"Phoenix Compiler Infrastructure. http:\/\/www.research.microsoft.com\/phoenix\/.  Phoenix Compiler Infrastructure. http:\/\/www.research.microsoft.com\/phoenix\/."},{"key":"e_1_3_2_1_33_1","unstructured":"Recovering function boundaries from executables. http:\/\/www.ece.umd.edu\/~barua\/function-boundaries.pdf.  Recovering function boundaries from executables. http:\/\/www.ece.umd.edu\/~barua\/function-boundaries.pdf."},{"key":"e_1_3_2_1_34_1","first-page":"1","volume-title":"In Proceedings of the USENIX Windows NT Workshop","author":"Romer T.","year":"1997","unstructured":"T. Romer and et al. Instrumentation and Optimization of Win32\/Intel Executables Using Etch . In In Proceedings of the USENIX Windows NT Workshop , pages 1 -- 1 , 1997 . T. Romer and et al. Instrumentation and Optimization of Win32\/Intel Executables Using Etch. In In Proceedings of the USENIX Windows NT Workshop, pages 1--1, 1997."},{"key":"e_1_3_2_1_35_1","volume-title":"PLTO: A Link-Time Optimizer for the Intel IA-32 Architecture. In In Proc. Workshop on Binary Translation","author":"Schwarz B.","year":"2001","unstructured":"B. Schwarz , S. Debray , G. Andrews , and M. Legendre . PLTO: A Link-Time Optimizer for the Intel IA-32 Architecture. In In Proc. Workshop on Binary Translation , 2001 . B. Schwarz, S. Debray, G. Andrews, and M. Legendre. PLTO: A Link-Time Optimizer for the Intel IA-32 Architecture. In In Proc. Workshop on Binary Translation, 2001."},{"key":"e_1_3_2_1_36_1","volume-title":"May","author":"Smithson M.","year":"2010","unstructured":"M. Smithson and R. Barua . Binary Rewriting without Relocation Information. USPTO patent pending no. 12\/785,923 , May 2010 . M. Smithson and R. Barua. Binary Rewriting without Relocation Information. USPTO patent pending no. 12\/785,923, May 2010."},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-89862-7_1"},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.5555\/1299042.1299110"},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1109\/ISSPIT.2005.1577061"},{"key":"e_1_3_2_1_40_1","first-page":"3","volume-title":"In Network and Distributed System Security Symposium","author":"Wagner D.","year":"2000","unstructured":"D. Wagner and et. al. A first step towards automated detection of buffer overrun vulnerabilities . In In Network and Distributed System Security Symposium , pages 3 -- 17 , 2000 . D. Wagner and et. al. A first step towards automated detection of buffer overrun vulnerabilities. In In Network and Distributed System Security Symposium, pages 3--17, 2000."},{"key":"e_1_3_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.1109\/ACSAC.2008.37"},{"key":"e_1_3_2_1_42_1","doi-asserted-by":"publisher","DOI":"10.1109\/COMPSAC.2007.163"},{"key":"e_1_3_2_1_43_1","doi-asserted-by":"publisher","DOI":"10.5555\/774861.774871"}],"event":{"name":"EuroSys '13: Eighth Eurosys Conference 2013","location":"Prague Czech Republic","acronym":"EuroSys '13","sponsor":["SIGOPS ACM Special Interest Group on Operating Systems"]},"container-title":["Proceedings of the 8th ACM European Conference on Computer Systems"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2465351.2465380","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2465351.2465380","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T08:39:36Z","timestamp":1750235976000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2465351.2465380"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,4,15]]},"references-count":43,"alternative-id":["10.1145\/2465351.2465380","10.1145\/2465351"],"URL":"https:\/\/doi.org\/10.1145\/2465351.2465380","relation":{},"subject":[],"published":{"date-parts":[[2013,4,15]]},"assertion":[{"value":"2013-04-15","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}