{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,10,21]],"date-time":"2026-10-21T16:16:09Z","timestamp":1792599369718,"version":"4.5.0"},"reference-count":60,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017,10]]},"DOI":"10.1109\/ase.2017.8115648","type":"proceedings-article","created":{"date-parts":[[2017,11,23]],"date-time":"2017-11-23T17:03:57Z","timestamp":1511456637000},"page":"353-364","source":"Crossref","is-referenced-by-count":42,"title":["Testing intermediate representations for binary analysis"],"prefix":"10.1109","author":[{"given":"Soomin","family":"Kim","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Markus","family":"Faerevaag","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Minkyu","family":"Jung","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Seungll","family":"Jung","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"DongYeop","family":"Oh","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"JongHyup","family":"Lee","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Sang Kil","family":"Cha","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"263","reference":[{"key":"ref39","doi-asserted-by":"publisher","DOI":"10.1145\/1453101.1453114"},{"key":"ref38","first-page":"251","article-title":"TIE: Principled reverse engineering of types in binary programs","author":"lee","year":"2011","journal-title":"Proc Symp Network and Distributed System Security"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1109\/CSAC.2004.19"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-70545-1_40"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1145\/307988.307989"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1145\/2872362.2872380"},{"key":"ref37","article-title":"Bochs: A portable PC emulator for Unix\/X","volume":"1996","author":"lawton","year":"1996","journal-title":"Linux Journal"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1109\/ISPASS.2010.5452024"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1109\/CGO.2004.1281665"},{"key":"ref34","doi-asserted-by":"crossref","first-page":"712","DOI":"10.1007\/978-3-642-31424-7_54","article-title":"SYMDIFF: A language-agnostic semantic diff tool for imperative programs","author":"lahiri","year":"2012","journal-title":"Proceedings of the International Conference on Computer Aided Verification"},{"key":"ref60","first-page":"337","article-title":"Control flow integrity for COTS binaries","author":"zhang","year":"2013","journal-title":"Proceedings of the USENIX Security Symposium"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1145\/2254064.2254116"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1145\/2093548.2093564"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1109\/CGO.2015.7054197"},{"key":"ref2","year":"0","journal-title":"Intel 64 and IA-32 architectures software developer's manual"},{"key":"ref1","year":"0","journal-title":"ARM Architecture Reference Manual"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/2.825697"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1007\/s10766-005-0004-8"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1145\/1455770.1455820"},{"key":"ref24","article-title":"REIL: A platform-independent intermediate representation of disassembled code for static code analysis","author":"dullien","year":"2009","journal-title":"Proceedings of CanSecWest"},{"key":"ref23","first-page":"337","article-title":"Z3: An efficient SMT solver","author":"de moura","year":"2008","journal-title":"Proceedings of the International Conference on Tools and Algorithms for the Construction and Analysis of Systems"},{"key":"ref26","first-page":"293","article-title":"Vx32: Lightweight user-level sandboxing on the x86","author":"ford","year":"2008","journal-title":"Proceedings of the USENIX Annual Technical Conference"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-46681-0_18"},{"key":"ref50","doi-asserted-by":"publisher","DOI":"10.1145\/2642937.2642974"},{"key":"ref51","article-title":"An SMT-LIB theory of binary floating-point arithmetic","author":"r\u00fcmmer","year":"2010","journal-title":"Informal proceedings of 8th International Workshop on Satisfiability Modulo Theories (SMT) at FLoC"},{"key":"ref59","first-page":"559","article-title":"Practical control flow integrity and randomization for binary executables","author":"zhang","year":"2013","journal-title":"Proceedings of the IEEE Symposium on Security and Privacy"},{"key":"ref58","first-page":"116","article-title":"Panorama: Capturing system-wide information flow for malware detection and analysis","author":"yin","year":"2007","journal-title":"Proceedings of the ACM Conference on Computer and Communications Security"},{"key":"ref57","doi-asserted-by":"publisher","DOI":"10.14722\/ndss.2015.23185"},{"key":"ref56","doi-asserted-by":"publisher","DOI":"10.1109\/WCRE.2004.42"},{"key":"ref55","article-title":"Trail of Bits","year":"0","journal-title":"Remill"},{"key":"ref54","doi-asserted-by":"publisher","DOI":"10.1145\/358198.358210"},{"key":"ref53","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-540-89862-7_1","article-title":"BitBlaze: A new approach to computer security via binary analysis","author":"song","year":"2008","journal-title":"International Conference on Information Systems Security"},{"key":"ref52","first-page":"353","article-title":"Native x86 decompilation using semantics-preserving structural analysis and iterative control-flow structuring","author":"schwartz","year":"2013","journal-title":"Proceedings of the USENIX Security Symposium"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1145\/1749608.1749612"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-22110-1_13"},{"key":"ref40","doi-asserted-by":"publisher","DOI":"10.1145\/1065010.1065034"},{"key":"ref12","first-page":"41","article-title":"QEMU, a fast and portable dynamic translator","author":"bellard","year":"2005","journal-title":"Proceedings of the USENIX Annual Technical Conference"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/CGO.2003.1191551"},{"key":"ref14","doi-asserted-by":"crossref","first-page":"463","DOI":"10.1007\/978-3-642-22110-1_37","article-title":"BAP: A binary analysis platform","author":"brumley","year":"2011","journal-title":"Proceedings of the International Conference on Computer Aided Verification"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2012.31"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2015.50"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1145\/1950365.1950396"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2005.20"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/WPC.1998.693332"},{"key":"ref4","year":"0","journal-title":"Pyvex"},{"key":"ref3","year":"0","journal-title":"MeanDiff"},{"key":"ref6","year":"0","journal-title":"QEMU-devel archives"},{"key":"ref5","year":"0","journal-title":"QEMU-devel archives"},{"key":"ref8","author":"aho","year":"0","journal-title":"Compilers Principles Techniques and Tools"},{"key":"ref7","year":"0","journal-title":"Radare2"},{"key":"ref49","article-title":"Shared and distributed memory parallel security analysis of large-scale source code and binary applications","author":"quinlan","year":"2007","journal-title":"Tech Rep"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1145\/2568225.2568293"},{"key":"ref46","first-page":"89","article-title":"Valgrind: a framework for heavyweight dynamic binary instrumentation","year":"2007","journal-title":"Proceedings of the ACM Conference on Programming Language Design and Implementation"},{"key":"ref45","doi-asserted-by":"publisher","DOI":"10.1016\/S1571-0661(04)81042-9"},{"key":"ref48","doi-asserted-by":"publisher","DOI":"10.1145\/1453101.1453131"},{"key":"ref47","doi-asserted-by":"publisher","DOI":"10.1145\/1831708.1831741"},{"key":"ref42","doi-asserted-by":"publisher","DOI":"10.1109\/2.982916"},{"key":"ref41","doi-asserted-by":"publisher","DOI":"10.1145\/2635868.2635900"},{"key":"ref44","doi-asserted-by":"publisher","DOI":"10.1145\/1572272.1572303"},{"key":"ref43","doi-asserted-by":"publisher","DOI":"10.1145\/1831708.1831730"}],"event":{"name":"2017 32nd IEEE\/ACM International Conference on Automated Software Engineering (ASE)","location":"Urbana, IL","start":{"date-parts":[[2017,10,30]]},"end":{"date-parts":[[2017,11,3]]}},"container-title":["2017 32nd IEEE\/ACM International Conference on Automated Software Engineering (ASE)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/8106906\/8115603\/08115648.pdf?arnumber=8115648","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,10,6]],"date-time":"2019-10-06T14:32:00Z","timestamp":1570372320000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/8115648\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,10]]},"references-count":60,"URL":"https:\/\/doi.org\/10.1109\/ase.2017.8115648","relation":{},"subject":[],"published":{"date-parts":[[2017,10]]}}}