{"id":"https://openalex.org/W4238654116","doi":"https://doi.org/10.1109/cases.2013.6662525","title":"Effective code discovery for ARM/Thumb mixed ISA binaries in a static binary translator","display_name":"Effective code discovery for ARM/Thumb mixed ISA binaries in a static binary translator","publication_year":2013,"publication_date":"2013-09-01","ids":{"openalex":"https://openalex.org/W4238654116","doi":"https://doi.org/10.1109/cases.2013.6662525"},"language":"en","primary_location":{"id":"doi:10.1109/cases.2013.6662525","is_oa":false,"landing_page_url":"https://doi.org/10.1109/cases.2013.6662525","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2013 International Conference on Compilers, Architecture and Synthesis for Embedded Systems (CASES)","raw_type":"proceedings-article"},"type":"conference-paper","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5040828280","display_name":"Jiunn\u2010Yeu Chen","orcid":"https://orcid.org/0000-0002-0436-3488"},"institutions":[{"id":"https://openalex.org/I148366613","display_name":"National Yang Ming Chiao Tung University","ror":"https://ror.org/00se2k293","country_code":"TW","type":"education","lineage":["https://openalex.org/I148366613"]}],"countries":["TW"],"is_corresponding":false,"raw_author_name":"Jiunn-Yeu Chen","raw_affiliation_strings":["National Chiao Tung University"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"National Chiao Tung University","institution_ids":["https://openalex.org/I148366613"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5012579474","display_name":"Bor-Yeh Shen","orcid":null},"institutions":[{"id":"https://openalex.org/I148366613","display_name":"National Yang Ming Chiao Tung University","ror":"https://ror.org/00se2k293","country_code":"TW","type":"education","lineage":["https://openalex.org/I148366613"]}],"countries":["TW"],"is_corresponding":false,"raw_author_name":"Bor-Yeh Shen","raw_affiliation_strings":["National Chiao Tung University"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"National Chiao Tung University","institution_ids":["https://openalex.org/I148366613"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5000738728","display_name":"Quan-Huei Ou","orcid":null},"institutions":[{"id":"https://openalex.org/I148366613","display_name":"National Yang Ming Chiao Tung University","ror":"https://ror.org/00se2k293","country_code":"TW","type":"education","lineage":["https://openalex.org/I148366613"]}],"countries":["TW"],"is_corresponding":false,"raw_author_name":"Quan-Huei Ou","raw_affiliation_strings":["National Chiao Tung University"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"National Chiao Tung University","institution_ids":["https://openalex.org/I148366613"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5077494496","display_name":"Wuu Yang","orcid":"https://orcid.org/0000-0001-8913-5662"},"institutions":[{"id":"https://openalex.org/I148366613","display_name":"National Yang Ming Chiao Tung University","ror":"https://ror.org/00se2k293","country_code":"TW","type":"education","lineage":["https://openalex.org/I148366613"]}],"countries":["TW"],"is_corresponding":false,"raw_author_name":"Wuu Yang","raw_affiliation_strings":["National Chiao Tung University"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"National Chiao Tung University","institution_ids":["https://openalex.org/I148366613"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5017207899","display_name":"Wei\u2010Chung Hsu","orcid":"https://orcid.org/0000-0002-0833-7981"},"institutions":[{"id":"https://openalex.org/I148366613","display_name":"National Yang Ming Chiao Tung University","ror":"https://ror.org/00se2k293","country_code":"TW","type":"education","lineage":["https://openalex.org/I148366613"]}],"countries":["TW"],"is_corresponding":false,"raw_author_name":"Wei-Chung Hsu","raw_affiliation_strings":["National Chiao Tung University"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"National Chiao Tung University","institution_ids":["https://openalex.org/I148366613"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I148366613"],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":9,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"1","last_page":"10"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10054","display_name":"Parallel Computing and Optimization Techniques","score":0.9998999834060669,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10054","display_name":"Parallel Computing and Optimization Techniques","score":0.9998999834060669,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10904","display_name":"Embedded Systems Design Techniques","score":0.9980999827384949,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9936000108718872,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8473044633865356},{"id":"https://openalex.org/keywords/executable","display_name":"Executable","score":0.6887634992599487},{"id":"https://openalex.org/keywords/binary-translation","display_name":"Binary translation","score":0.6780157685279846},{"id":"https://openalex.org/keywords/byte","display_name":"Byte","score":0.6179702281951904},{"id":"https://openalex.org/keywords/instruction-set","display_name":"Instruction set","score":0.535456657409668},{"id":"https://openalex.org/keywords/machine-code","display_name":"Machine code","score":0.5227727293968201},{"id":"https://openalex.org/keywords/x86","display_name":"x86","score":0.5188621282577515},{"id":"https://openalex.org/keywords/parallel-computing","display_name":"Parallel computing","score":0.48574405908584595},{"id":"https://openalex.org/keywords/code","display_name":"Code (set theory)","score":0.46992170810699463},{"id":"https://openalex.org/keywords/compiler","display_name":"Compiler","score":0.46149834990501404},{"id":"https://openalex.org/keywords/binary-code","display_name":"Binary code","score":0.45709672570228577},{"id":"https://openalex.org/keywords/decoding-methods","display_name":"Decoding methods","score":0.4550131857395172},{"id":"https://openalex.org/keywords/thumb","display_name":"Thumb","score":0.43821436166763306},{"id":"https://openalex.org/keywords/binary-number","display_name":"Binary number","score":0.4314424395561218},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.3539435863494873},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.34074199199676514},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.2796646058559418},{"id":"https://openalex.org/keywords/arithmetic","display_name":"Arithmetic","score":0.24746102094650269},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.19586685299873352}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8473044633865356},{"id":"https://openalex.org/C160145156","wikidata":"https://www.wikidata.org/wiki/Q778586","display_name":"Executable","level":2,"score":0.6887634992599487},{"id":"https://openalex.org/C2778971978","wikidata":"https://www.wikidata.org/wiki/Q2287075","display_name":"Binary translation","level":3,"score":0.6780157685279846},{"id":"https://openalex.org/C43364308","wikidata":"https://www.wikidata.org/wiki/Q8799","display_name":"Byte","level":2,"score":0.6179702281951904},{"id":"https://openalex.org/C202491316","wikidata":"https://www.wikidata.org/wiki/Q272683","display_name":"Instruction set","level":2,"score":0.535456657409668},{"id":"https://openalex.org/C115168132","wikidata":"https://www.wikidata.org/wiki/Q55813","display_name":"Machine code","level":3,"score":0.5227727293968201},{"id":"https://openalex.org/C170723468","wikidata":"https://www.wikidata.org/wiki/Q182933","display_name":"x86","level":3,"score":0.5188621282577515},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.48574405908584595},{"id":"https://openalex.org/C2776760102","wikidata":"https://www.wikidata.org/wiki/Q5139990","display_name":"Code (set theory)","level":3,"score":0.46992170810699463},{"id":"https://openalex.org/C169590947","wikidata":"https://www.wikidata.org/wiki/Q47506","display_name":"Compiler","level":2,"score":0.46149834990501404},{"id":"https://openalex.org/C63435697","wikidata":"https://www.wikidata.org/wiki/Q864135","display_name":"Binary code","level":3,"score":0.45709672570228577},{"id":"https://openalex.org/C57273362","wikidata":"https://www.wikidata.org/wiki/Q576722","display_name":"Decoding methods","level":2,"score":0.4550131857395172},{"id":"https://openalex.org/C2776881184","wikidata":"https://www.wikidata.org/wiki/Q83360","display_name":"Thumb","level":2,"score":0.43821436166763306},{"id":"https://openalex.org/C48372109","wikidata":"https://www.wikidata.org/wiki/Q3913","display_name":"Binary number","level":2,"score":0.4314424395561218},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.3539435863494873},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.34074199199676514},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.2796646058559418},{"id":"https://openalex.org/C94375191","wikidata":"https://www.wikidata.org/wiki/Q11205","display_name":"Arithmetic","level":1,"score":0.24746102094650269},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.19586685299873352},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.0},{"id":"https://openalex.org/C71924100","wikidata":"https://www.wikidata.org/wiki/Q11190","display_name":"Medicine","level":0,"score":0.0},{"id":"https://openalex.org/C105702510","wikidata":"https://www.wikidata.org/wiki/Q514","display_name":"Anatomy","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/cases.2013.6662525","is_oa":false,"landing_page_url":"https://doi.org/10.1109/cases.2013.6662525","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2013 International Conference on Compilers, Architecture and Synthesis for Embedded Systems (CASES)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[{"id":"https://openalex.org/F4320321040","display_name":"National Science Council","ror":"https://ror.org/02kv4zf79"}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":23,"referenced_works":["https://openalex.org/W1480157704","https://openalex.org/W1522250664","https://openalex.org/W1564075167","https://openalex.org/W1986152061","https://openalex.org/W1990717911","https://openalex.org/W2001723134","https://openalex.org/W2019326155","https://openalex.org/W2089131124","https://openalex.org/W2102039064","https://openalex.org/W2110252373","https://openalex.org/W2114086120","https://openalex.org/W2117588798","https://openalex.org/W2123540180","https://openalex.org/W2149216329","https://openalex.org/W2163935347","https://openalex.org/W2339669378","https://openalex.org/W3014068660","https://openalex.org/W4232576303","https://openalex.org/W4241876197","https://openalex.org/W4243006798","https://openalex.org/W4250948891","https://openalex.org/W6631155369","https://openalex.org/W6633665954"],"related_works":["https://openalex.org/W2963356946","https://openalex.org/W4236526691","https://openalex.org/W1996050943","https://openalex.org/W2003690377","https://openalex.org/W2132071463","https://openalex.org/W2544369712","https://openalex.org/W1812425709","https://openalex.org/W2328210346","https://openalex.org/W2090939166","https://openalex.org/W1967472216"],"abstract_inverted_index":{"Code":[0],"discovery":[1],"has":[2,19],"been":[3],"a":[4,43,151,220,239,265],"main":[5],"challenge":[6],"for":[7,77,205,229,257],"static":[8,74,235,296],"binary":[9,44,75,236,261,297],"translation,":[10],"especially":[11],"when":[12],"the":[13,24,40,78,83,103,114,119,129,132,179,184,226,230,244,247,276,280,285],"source":[14],"ISA":[15],"(Instruction":[16],"Set":[17,93],"Architecture)":[18],"variable-length":[20],"instructions,":[21,57,63],"such":[22,31,208],"as":[23,32,52,62,157],"X86":[25],"architectures.":[26],"Due":[27],"to":[28,49,195,214,223],"embedded":[29],"data":[30,51,59],"PC-relative":[33],"data,":[34],"jump":[35],"tables,":[36],"or":[37,137,161],"paddings":[38],"in":[39,95,113,279],"code":[41,198,202,256,277,306],"section,":[42],"translator":[45,237,262,298],"may":[46],"be":[47,69,135,155,193],"misled":[48],"translate":[50,225],"instructions.":[53,164],"With":[54],"variable":[55],"length":[56],"once":[58],"is":[60,88,172],"mis-translated":[61],"subsequent":[64],"decoding":[65,167],"of":[66,98,105,122,131,168,183,246,254,267,275,305],"instructions":[67,107,111,133,147],"could":[68,134,154],"wrong.":[70],"This":[71],"paper":[72],"concerns":[73],"translation":[76,240],"ARM":[79,87,123,144,159,197],"architectures,":[80],"which":[81,242,270],"dominate":[82],"embedded-system":[84],"market.":[85],"Although":[86],"considered":[89],"RISC":[90],"(Reduced":[91],"Instruction":[92],"Computing)":[94],"many":[96],"aspects":[97],"processors,":[99],"it":[100],"does":[101],"allow":[102],"mix":[104],"32-bit":[106],"(ARM)":[108],"with":[109,302],"16-bit":[110],"(Thumb)":[112],"ARM/Thumb":[115,231,290],"mixed":[116,232,291],"executables.":[117],"Since":[118],"instruction":[120,160],"lengths":[121],"and":[124,145,200,272],"Thumb":[125,146,163,201],"are":[126,211],"not":[127,212],"equal,":[128],"locations":[130],"4-byte":[136,152,170],"2-byte":[138],"aligned":[139],"addresses,":[140],"respectively.":[141],"Furthermore,":[142],"because":[143],"share":[148],"encoding":[149],"space,":[150],"word":[153,171],"decoded":[156],"one":[158],"two":[162],"The":[165,260],"correct":[166],"this":[169],"actually":[173],"determined":[174],"at":[175],"run":[176],"time":[177],"by":[178,250,294],"least":[180],"significant":[181],"bit":[182],"program":[185],"counter.":[186],"For":[187],"unstripped":[188],"binaries,":[189,207],"mapping":[190,209],"symbols":[191,210],"can":[192],"used":[194],"identify":[196],"regions":[199],"regions.":[203],"However,":[204],"stripped":[206,227,289],"available":[213],"assist":[215],"translation.":[216,282],"We":[217],"have":[218],"proposed":[219],"novel":[221],"solution":[222],"statically":[224],"executables":[228],"ISA.":[233],"Our":[234],"includes":[238,264],"pass":[241],"guarantees":[243],"correctness":[245],"translated":[248,255,293],"executable":[249],"generating":[251],"multiple":[252],"versions":[253],"runtime":[258],"selection.":[259],"also":[263],"series":[266],"optimization":[268],"analyses":[269],"discover":[271],"remove":[273],"most":[274],"generated":[278],"baseline":[281],"Based":[283],"on":[284],"SPEC2006":[286],"benchmark":[287],"suite,":[288],"binaries":[292],"our":[295],"achieve":[299],"good":[300],"performance":[301],"only":[303],"25%":[304],"size":[307],"increase.":[308]},"counts_by_year":[{"year":2025,"cited_by_count":2},{"year":2023,"cited_by_count":1},{"year":2022,"cited_by_count":2},{"year":2020,"cited_by_count":2},{"year":2018,"cited_by_count":1},{"year":2016,"cited_by_count":1}],"updated_date":"2026-07-14T23:27:15.235271","created_date":"2025-10-10T00:00:00"}