{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,9]],"date-time":"2026-06-09T08:45:29Z","timestamp":1780994729391,"version":"3.54.1"},"reference-count":31,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013,10]]},"DOI":"10.1109\/wcre.2013.6671280","type":"proceedings-article","created":{"date-parts":[[2013,12,3]],"date-time":"2013-12-03T17:00:42Z","timestamp":1386090042000},"page":"52-61","source":"Crossref","is-referenced-by-count":22,"title":["Static binary rewriting without supplemental information: Overcoming the tradeoff between coverage and correctness"],"prefix":"10.1109","author":[{"given":"Matthew","family":"Smithson","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Khaled","family":"ElWazeer","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Kapil","family":"Anand","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Aparna","family":"Kotha","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Rajeev","family":"Barua","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"263","reference":[{"key":"19","first-page":"25","article-title":"Atom: A flexible interface for building high performance program analysis tools","volume":"1995","author":"eustace","year":"0","journal-title":"TCON95 Proceedings of the USENIX 1995 Technical Conference Proceedings on USENIX 1995 Technical Conference Proceedings"},{"key":"17","year":"2010","journal-title":"Documentation for Binutils 2 21"},{"key":"18","first-page":"1","article-title":"OM: A practical system for intermodule code optimization at link-time","volume":"1","author":"srivastava","year":"1992","journal-title":"Journal of Programming Languages"},{"key":"15","author":"bruening","year":"2004","journal-title":"Efficient transparent and comprehensive runtime code manipulation"},{"key":"16","year":"2007","journal-title":"IDA Pro Disassembler"},{"key":"13","doi-asserted-by":"publisher","DOI":"10.1109\/CGO.2006.6"},{"key":"14","year":"1994","journal-title":"Dynamic Program Instrumentation for Scalable Performance Tools"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1145\/2491956.2462165"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1145\/1065010.1065034"},{"key":"21","doi-asserted-by":"publisher","DOI":"10.1109\/ISSPIT.2005.1577061"},{"key":"20","first-page":"17","article-title":"Spike: An optimizer for alpha\/nt executables","author":"cohn","year":"1997","journal-title":"NT97 Proceedings of the USENIX Windows NT Workshop on the USENIX Windows NT Workshop"},{"key":"22","doi-asserted-by":"publisher","DOI":"10.1093\/comjnl\/23.3.223"},{"key":"23","doi-asserted-by":"publisher","DOI":"10.1145\/1127577.1127590"},{"key":"24","year":"1997","journal-title":"Instrumentation and Optimization of win32\/intel Executables Using Etch"},{"key":"25","year":"0","journal-title":"Quick Unpack"},{"key":"26","first-page":"1013","article-title":"On the static analysis of indirect control transfers in binaries","volume":"2","author":"de sutter","year":"2000","journal-title":"Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications H Arabnia Ed"},{"key":"27","doi-asserted-by":"publisher","DOI":"10.1145\/1127577.1127590"},{"key":"28","author":"andersen","year":"1994","journal-title":"Program analysis and specialization for the C programming language"},{"key":"29","first-page":"2","article-title":"Emmerik recovery of jump table case statements from binary code","author":"cifuentes","year":"2001","journal-title":"Science of Computer Programming"},{"key":"3","first-page":"154","article-title":"Retrofitting security in cots software with binary rewriting","author":"osullivan","year":"2011","journal-title":"IFIP SEC"},{"key":"2","author":"erlingsson","year":"0","journal-title":"The Inlined Reference Monitor Approach to Security Policy Enforcement"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1145\/2465351.2465380"},{"key":"1","year":"0","journal-title":"Application Security Testing-Veracode"},{"key":"30","doi-asserted-by":"publisher","DOI":"10.1109\/ACSAC.2008.37"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1109\/MICRO.2010.27"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1109\/CGO.2003.1191553"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1002\/1097-024X(200101)31:1<67::AID-SPE357>3.0.CO;2-A"},{"key":"31","doi-asserted-by":"publisher","DOI":"10.1109\/CGO.2004.1281665"},{"key":"4","article-title":"Plto: A link-time optimizer for the intel ia-32 architecture","author":"schwarz","year":"2001","journal-title":"Proc 2001 Workshop on Binary Translation"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1145\/319344.319165"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1109\/ICPP.2002.1040920"}],"event":{"name":"2013 20th Working Conference on Reverse Engineering (WCRE)","location":"Koblenz, Germany","start":{"date-parts":[[2013,10,14]]},"end":{"date-parts":[[2013,10,17]]}},"container-title":["2013 20th Working Conference on Reverse Engineering (WCRE)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6656028\/6671267\/06671280.pdf?arnumber=6671280","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,22]],"date-time":"2017-03-22T20:31:42Z","timestamp":1490214702000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6671280\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,10]]},"references-count":31,"URL":"https:\/\/doi.org\/10.1109\/wcre.2013.6671280","relation":{},"subject":[],"published":{"date-parts":[[2013,10]]}}}