DC Field | Value | Language |
---|---|---|
dc.contributor.author | Kim, Soomin | ko |
dc.contributor.author | Faerevaag, Markus | ko |
dc.contributor.author | Jung, Minkyu | ko |
dc.contributor.author | Jung, Seungil | ko |
dc.contributor.author | Oh, DongYeop | ko |
dc.contributor.author | Lee, JongHyup | ko |
dc.contributor.author | Cha, Sang Kil | ko |
dc.date.accessioned | 2017-11-20T08:19:20Z | - |
dc.date.available | 2017-11-20T08:19:20Z | - |
dc.date.created | 2017-11-14 | - |
dc.date.created | 2017-11-14 | - |
dc.date.created | 2017-11-14 | - |
dc.date.issued | 2017-11-03 | - |
dc.identifier.citation | 32nd IEEE/ACM International Conference on Automated Software Engineering (ASE), pp.353 - 364 | - |
dc.identifier.issn | 1527-1366 | - |
dc.identifier.uri | http://hdl.handle.net/10203/226991 | - |
dc.description.abstract | Binary lifting, which is to translate a binary executable to a high-level intermediate representation, is a primary step in binary analysis. Despite its importance, there are only few existing approaches to testing the correctness of binary lifters. Furthermore, the existing approaches suffer from low test coverage, because they largely depend on random test case generation. In this paper, we present the design and implementation of the first systematic approach to testing binary lifters. We have evaluated the proposed system on 3 state-of-the-art binary lifters, and found 24 previously unknown semantic bugs. Our result demonstrates that writing a precise binary lifter is extremely difficult even for those heavily tested projects. | - |
dc.language | English | - |
dc.publisher | IEEE Computer Society and ACM SIGSFOT | - |
dc.title | Testing Intermediate Representations for Binary Analysis | - |
dc.type | Conference | - |
dc.identifier.wosid | 000417469700039 | - |
dc.identifier.scopusid | 2-s2.0-85041439452 | - |
dc.type.rims | CONF | - |
dc.citation.beginningpage | 353 | - |
dc.citation.endingpage | 364 | - |
dc.citation.publicationname | 32nd IEEE/ACM International Conference on Automated Software Engineering (ASE) | - |
dc.identifier.conferencecountry | US | - |
dc.identifier.conferencelocation | Urbana-Champaign, Illinois | - |
dc.identifier.doi | 10.1109/ASE.2017.8115648 | - |
dc.contributor.localauthor | Cha, Sang Kil | - |
dc.contributor.nonIdAuthor | Faerevaag, Markus | - |
dc.contributor.nonIdAuthor | Jung, Seungil | - |
dc.contributor.nonIdAuthor | Oh, DongYeop | - |
dc.contributor.nonIdAuthor | Lee, JongHyup | - |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.