{"id":"https://openalex.org/W4210918116","doi":"https://doi.org/10.1109/tse.2022.3149240","title":"Enhancing DNN-Based Binary Code Function Search With Low-Cost Equivalence Checking","display_name":"Enhancing DNN-Based Binary Code Function Search With Low-Cost Equivalence Checking","publication_year":2022,"publication_date":"2022-02-08","ids":{"openalex":"https://openalex.org/W4210918116","doi":"https://doi.org/10.1109/tse.2022.3149240"},"language":"en","primary_location":{"id":"doi:10.1109/tse.2022.3149240","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tse.2022.3149240","pdf_url":null,"source":{"id":"https://openalex.org/S8351582","display_name":"IEEE Transactions on Software Engineering","issn_l":"0098-5589","issn":["0098-5589","1939-3520","2326-3881"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320439","host_organization_name":"IEEE Computer Society","host_organization_lineage":["https://openalex.org/P4310320439","https://openalex.org/P4310319808"],"host_organization_lineage_names":["IEEE Computer Society","Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Transactions on Software Engineering","raw_type":"journal-article"},"type":"article","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/A5027062760","display_name":"Huaijin Wang","orcid":"https://orcid.org/0000-0002-1066-0331"},"institutions":[{"id":"https://openalex.org/I200769079","display_name":"Hong Kong University of Science and Technology","ror":"https://ror.org/00q4vv597","country_code":"HK","type":"education","lineage":["https://openalex.org/I200769079"]}],"countries":["HK"],"is_corresponding":false,"raw_author_name":"Huaijin Wang","raw_affiliation_strings":["Department of Computer Science and Engineering, HKUST, Kowloon, Hong Kong"],"raw_orcid":"https://orcid.org/0000-0002-1066-0331","affiliations":[{"raw_affiliation_string":"Department of Computer Science and Engineering, HKUST, Kowloon, Hong Kong","institution_ids":["https://openalex.org/I200769079"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5101728918","display_name":"Pingchuan Ma","orcid":"https://orcid.org/0000-0001-7680-2817"},"institutions":[{"id":"https://openalex.org/I200769079","display_name":"Hong Kong University of Science and Technology","ror":"https://ror.org/00q4vv597","country_code":"HK","type":"education","lineage":["https://openalex.org/I200769079"]}],"countries":["HK"],"is_corresponding":false,"raw_author_name":"Pingchuan Ma","raw_affiliation_strings":["Department of Computer Science and Engineering, HKUST, Kowloon, Hong Kong"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computer Science and Engineering, HKUST, Kowloon, Hong Kong","institution_ids":["https://openalex.org/I200769079"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5024293177","display_name":"Yuanyuan Yuan","orcid":"https://orcid.org/0000-0002-3053-8923"},"institutions":[{"id":"https://openalex.org/I200769079","display_name":"Hong Kong University of Science and Technology","ror":"https://ror.org/00q4vv597","country_code":"HK","type":"education","lineage":["https://openalex.org/I200769079"]}],"countries":["HK"],"is_corresponding":false,"raw_author_name":"Yuanyuan Yuan","raw_affiliation_strings":["Department of Computer Science and Engineering, HKUST, Kowloon, Hong Kong"],"raw_orcid":"https://orcid.org/0000-0002-3053-8923","affiliations":[{"raw_affiliation_string":"Department of Computer Science and Engineering, HKUST, Kowloon, Hong Kong","institution_ids":["https://openalex.org/I200769079"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5068911323","display_name":"Zhibo Liu","orcid":"https://orcid.org/0000-0002-7872-1129"},"institutions":[{"id":"https://openalex.org/I200769079","display_name":"Hong Kong University of Science and Technology","ror":"https://ror.org/00q4vv597","country_code":"HK","type":"education","lineage":["https://openalex.org/I200769079"]}],"countries":["HK"],"is_corresponding":false,"raw_author_name":"Zhibo Liu","raw_affiliation_strings":["Department of Computer Science and Engineering, HKUST, Kowloon, Hong Kong"],"raw_orcid":"https://orcid.org/0000-0002-7872-1129","affiliations":[{"raw_affiliation_string":"Department of Computer Science and Engineering, HKUST, Kowloon, Hong Kong","institution_ids":["https://openalex.org/I200769079"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5100328264","display_name":"Shuai Wang","orcid":"https://orcid.org/0000-0002-0866-0308"},"institutions":[{"id":"https://openalex.org/I200769079","display_name":"Hong Kong University of Science and Technology","ror":"https://ror.org/00q4vv597","country_code":"HK","type":"education","lineage":["https://openalex.org/I200769079"]}],"countries":["HK"],"is_corresponding":false,"raw_author_name":"Shuai Wang","raw_affiliation_strings":["Department of Computer Science and Engineering, HKUST, Kowloon, Hong Kong"],"raw_orcid":"https://orcid.org/0000-0002-0866-0308","affiliations":[{"raw_affiliation_string":"Department of Computer Science and Engineering, HKUST, Kowloon, Hong Kong","institution_ids":["https://openalex.org/I200769079"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5007842132","display_name":"Qiyi Tang","orcid":"https://orcid.org/0000-0002-8200-7518"},"institutions":[{"id":"https://openalex.org/I2250653659","display_name":"Tencent (China)","ror":"https://ror.org/00hhjss72","country_code":"CN","type":"company","lineage":["https://openalex.org/I2250653659"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Qiyi Tang","raw_affiliation_strings":["Tencent Security Keen Lab, Shenzhen, Guangdong, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Tencent Security Keen Lab, Shenzhen, Guangdong, China","institution_ids":["https://openalex.org/I2250653659"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5069450513","display_name":"Sen Nie","orcid":"https://orcid.org/0000-0003-4154-2941"},"institutions":[{"id":"https://openalex.org/I2250653659","display_name":"Tencent (China)","ror":"https://ror.org/00hhjss72","country_code":"CN","type":"company","lineage":["https://openalex.org/I2250653659"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Sen Nie","raw_affiliation_strings":["Tencent Security Keen Lab, Shenzhen, Guangdong, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Tencent Security Keen Lab, Shenzhen, Guangdong, China","institution_ids":["https://openalex.org/I2250653659"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5101409340","display_name":"Shi Wu","orcid":"https://orcid.org/0000-0002-6842-7487"},"institutions":[{"id":"https://openalex.org/I2250653659","display_name":"Tencent (China)","ror":"https://ror.org/00hhjss72","country_code":"CN","type":"company","lineage":["https://openalex.org/I2250653659"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Shi Wu","raw_affiliation_strings":["Tencent Security Keen Lab, Shenzhen, Guangdong, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Tencent Security Keen Lab, Shenzhen, Guangdong, China","institution_ids":["https://openalex.org/I2250653659"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":2.4038,"has_fulltext":false,"cited_by_count":18,"citation_normalized_percentile":{"value":0.88770477,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":99},"biblio":{"volume":"49","issue":"1","first_page":"226","last_page":"250"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11241","display_name":"Advanced Malware Detection Techniques","score":0.9994000196456909,"subfield":{"id":"https://openalex.org/subfields/1711","display_name":"Signal Processing"},"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/T11241","display_name":"Advanced Malware Detection Techniques","score":0.9994000196456909,"subfield":{"id":"https://openalex.org/subfields/1711","display_name":"Signal Processing"},"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/T10260","display_name":"Software Engineering Research","score":0.9980999827384949,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"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.9937999844551086,"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.7068390250205994},{"id":"https://openalex.org/keywords/notation","display_name":"Notation","score":0.5636613368988037},{"id":"https://openalex.org/keywords/compiler","display_name":"Compiler","score":0.5038112998008728},{"id":"https://openalex.org/keywords/binary-number","display_name":"Binary number","score":0.49601706862449646},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.48926588892936707},{"id":"https://openalex.org/keywords/equivalence","display_name":"Equivalence (formal languages)","score":0.438109427690506},{"id":"https://openalex.org/keywords/binary-code","display_name":"Binary code","score":0.42997226119041443},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.36668407917022705},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.19288921356201172},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.16232359409332275},{"id":"https://openalex.org/keywords/arithmetic","display_name":"Arithmetic","score":0.14231151342391968}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7068390250205994},{"id":"https://openalex.org/C45357846","wikidata":"https://www.wikidata.org/wiki/Q2001982","display_name":"Notation","level":2,"score":0.5636613368988037},{"id":"https://openalex.org/C169590947","wikidata":"https://www.wikidata.org/wiki/Q47506","display_name":"Compiler","level":2,"score":0.5038112998008728},{"id":"https://openalex.org/C48372109","wikidata":"https://www.wikidata.org/wiki/Q3913","display_name":"Binary number","level":2,"score":0.49601706862449646},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.48926588892936707},{"id":"https://openalex.org/C2780069185","wikidata":"https://www.wikidata.org/wiki/Q7977945","display_name":"Equivalence (formal languages)","level":2,"score":0.438109427690506},{"id":"https://openalex.org/C63435697","wikidata":"https://www.wikidata.org/wiki/Q864135","display_name":"Binary code","level":3,"score":0.42997226119041443},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.36668407917022705},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.19288921356201172},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.16232359409332275},{"id":"https://openalex.org/C94375191","wikidata":"https://www.wikidata.org/wiki/Q11205","display_name":"Arithmetic","level":1,"score":0.14231151342391968}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.1109/tse.2022.3149240","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tse.2022.3149240","pdf_url":null,"source":{"id":"https://openalex.org/S8351582","display_name":"IEEE Transactions on Software Engineering","issn_l":"0098-5589","issn":["0098-5589","1939-3520","2326-3881"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320439","host_organization_name":"IEEE Computer Society","host_organization_lineage":["https://openalex.org/P4310320439","https://openalex.org/P4310319808"],"host_organization_lineage_names":["IEEE Computer Society","Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Transactions on Software Engineering","raw_type":"journal-article"},{"id":"pmh:oai:repository.hkust.edu.hk:1783.1-115547","is_oa":false,"landing_page_url":"http://repository.hkust.edu.hk/ir/Record/1783.1-115547","pdf_url":null,"source":{"id":"https://openalex.org/S4306401796","display_name":"Rare & Special e-Zone (The Hong Kong University of Science and Technology)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I200769079","host_organization_name":"Hong Kong University of Science and Technology","host_organization_lineage":["https://openalex.org/I200769079"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Article"},{"id":"pmh:oai:repository.ust.hk:1783.1-115547","is_oa":false,"landing_page_url":"http://repository.ust.hk/ir/Record/1783.1-115547","pdf_url":null,"source":{"id":"https://openalex.org/S4306401796","display_name":"Rare & Special e-Zone (The Hong Kong University of Science and Technology)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I200769079","host_organization_name":"Hong Kong University of Science and Technology","host_organization_lineage":["https://openalex.org/I200769079"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"Article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":83,"referenced_works":["https://openalex.org/W1480909796","https://openalex.org/W1525120920","https://openalex.org/W1690253345","https://openalex.org/W1863385414","https://openalex.org/W1942295288","https://openalex.org/W1964962870","https://openalex.org/W2009614414","https://openalex.org/W2010841095","https://openalex.org/W2038159719","https://openalex.org/W2041839827","https://openalex.org/W2066220442","https://openalex.org/W2067982285","https://openalex.org/W2068211976","https://openalex.org/W2081105932","https://openalex.org/W2081561469","https://openalex.org/W2112725702","https://openalex.org/W2117583561","https://openalex.org/W2131571251","https://openalex.org/W2136099030","https://openalex.org/W2145657894","https://openalex.org/W2165020213","https://openalex.org/W2165597437","https://openalex.org/W2414803796","https://openalex.org/W2439280908","https://openalex.org/W2514974017","https://openalex.org/W2547625248","https://openalex.org/W2577142429","https://openalex.org/W2606780347","https://openalex.org/W2612128870","https://openalex.org/W2627063456","https://openalex.org/W2749008552","https://openalex.org/W2768013588","https://openalex.org/W2791218785","https://openalex.org/W2801712578","https://openalex.org/W2884585870","https://openalex.org/W2886694146","https://openalex.org/W2887364112","https://openalex.org/W2888320512","https://openalex.org/W2888698761","https://openalex.org/W2896457183","https://openalex.org/W2926178846","https://openalex.org/W2946142792","https://openalex.org/W2950898568","https://openalex.org/W2963408280","https://openalex.org/W2963485370","https://openalex.org/W2963723316","https://openalex.org/W2964150020","https://openalex.org/W2964872665","https://openalex.org/W2997915791","https://openalex.org/W3007413911","https://openalex.org/W3042714377","https://openalex.org/W3048309924","https://openalex.org/W3084708231","https://openalex.org/W3101767350","https://openalex.org/W3105926539","https://openalex.org/W3121414853","https://openalex.org/W3133719257","https://openalex.org/W3153398259","https://openalex.org/W3154707155","https://openalex.org/W4224246371","https://openalex.org/W4226065182","https://openalex.org/W4247464060","https://openalex.org/W4251742729","https://openalex.org/W4253873928","https://openalex.org/W4389739628","https://openalex.org/W6608822657","https://openalex.org/W6617952372","https://openalex.org/W6621201870","https://openalex.org/W6628233427","https://openalex.org/W6628365534","https://openalex.org/W6636411187","https://openalex.org/W6637688222","https://openalex.org/W6679713772","https://openalex.org/W6690815549","https://openalex.org/W6736685754","https://openalex.org/W6743552807","https://openalex.org/W6752526365","https://openalex.org/W6753913213","https://openalex.org/W6754298449","https://openalex.org/W6754601402","https://openalex.org/W6755207826","https://openalex.org/W6759111002","https://openalex.org/W6788829709"],"related_works":["https://openalex.org/W38661524","https://openalex.org/W2134880816","https://openalex.org/W2111298487","https://openalex.org/W4308157887","https://openalex.org/W2055498716","https://openalex.org/W2279238589","https://openalex.org/W4386075138","https://openalex.org/W1984130439","https://openalex.org/W3016499519","https://openalex.org/W2562873141"],"abstract_inverted_index":{"Binary":[0],"code":[1,21,38,79,130,263,290],"function":[2,131,153,229,236],"search":[3,39,264,291],"has":[4],"been":[5],"used":[6],"as":[7,47,108],"the":[8,121,151,171,180,189,240],"core":[9],"basis":[10],"of":[11,77,104,218,285],"various":[12],"security":[13],"and":[14,24,50,88,111,141,154,176,203,232,246,282,303],"software":[15],"engineering":[16],"applications,":[17],"including":[18],"malware":[19],"clustering,":[20],"clone":[22],"detection,":[23],"vulnerability":[25],"audits.":[26],"Recognizing":[27],"logically":[28],"similar":[29],"assembly":[30,256],"functions,":[31],"however,":[32],"remains":[33],"a":[34,102,116,139,196,201,216,280],"challenge.":[35],"Most":[36],"binary":[37,78,129,262,289],"tools":[40,292],"rely":[41],"on":[42,188,235],"program":[43,58,93],"structure-level":[44],"information,":[45],"such":[46,107],"control":[48,71],"flow":[49,52],"data":[51,74],"graphs,":[53],"that":[54,145,162,178,276],"is":[55,84,136,250],"extracted":[56],"using":[57,210],"analysis":[59],"techniques":[60,68],"or":[61,73],"deep":[62],"neural":[63],"networks":[64],"(DNNs).":[65],"However,":[66],"DNN-based":[67,128,261,288],"capture":[69],"lexical-,":[70],"structure-,":[72],"flow-level":[75],"information":[76],"for":[80,119],"representation":[81],"learning,":[82],"which":[83],"often":[85],"too":[86],"coarse-grained":[87],"does":[89],"not":[90],"accurately":[91],"denote":[92],"functionality.":[94],"Additionally,":[95],"it":[96],"may":[97],"exhibit":[98],"low":[99,271],"robustness":[100],"to":[101,137,185,253],"variety":[103],"challenging":[105],"settings,":[106],"compiler":[109],"optimizations":[110],"obfuscations.":[112],"This":[113],"paper":[114],"proposes":[115],"general":[117,281],"solution":[118],"enhancing":[120,260],"top-":[122,156,172,190],"<inline-formula><tex-math":[123,157,173,191],"notation=\"LaTeX\">$k$</tex-math></inline-formula>":[124,158,174,192],"ranked":[125,193],"candidates":[126],"in":[127,195],"search.":[132],"The":[133],"key":[134],"idea":[135],"design":[138,200],"low-cost":[140],"comprehensive":[142],"equivalence":[143,165,205,258],"check":[144,166,181],"quickly":[146],"exposes":[147],"functionality":[148],"deviations":[149],"between":[150],"target":[152],"its":[155,267],"matched":[159],"functions.":[160],"Functions":[161],"fail":[163],"this":[164],"can":[167,182,278],"be":[168,183],"shaved":[169],"from":[170,228],"list,":[175],"functions":[177],"pass":[179],"revisited":[184],"move":[186],"ahead":[187],"candidates,":[194],"deliberate":[197],"way.":[198],"We":[199],"practical":[202],"efficient":[204],"check,":[206,259],"named":[207],"<monospace>BinUSE</monospace>":[208,249,277],",":[209],"<i>under-constrained</i>":[211],"symbolic":[212,219,225],"execution":[213,226],"(USE).":[214],"USE,":[215],"variant":[217],"execution,":[220],"improves":[221],"scalability":[222],"by":[223,243,265,298],"initiating":[224],"directly":[227],"entry":[230],"points":[231],"relaxing":[233],"constraints":[234],"parameters.":[237],"It":[238],"eliminates":[239],"overhead":[241],"incurred":[242],"path":[244],"explosion":[245],"costly":[247],"constraints.":[248],"specifically":[251],"designed":[252],"deliver":[254],"an":[255],"function-level":[257],"reducing":[266],"false":[268],"alarms":[269],"with":[270,295],"cost.":[272],"Our":[273],"evaluation":[274],"shows":[275],"enable":[279],"effective":[283],"enhancement":[284],"four":[286],"state-of-the-art":[287],"when":[293],"confronted":[294],"challenges":[296],"posed":[297],"different":[299],"compilers,":[300],"optimizations,":[301],"obfuscations,":[302],"architectures.":[304]},"counts_by_year":[{"year":2025,"cited_by_count":8},{"year":2024,"cited_by_count":5},{"year":2023,"cited_by_count":3},{"year":2022,"cited_by_count":1},{"year":2021,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}