{"id":"https://openalex.org/W3043641306","doi":"https://doi.org/10.1145/3395363.3397370","title":"How far we have come: testing decompilation correctness of C decompilers","display_name":"How far we have come: testing decompilation correctness of C decompilers","publication_year":2020,"publication_date":"2020-07-13","ids":{"openalex":"https://openalex.org/W3043641306","doi":"https://doi.org/10.1145/3395363.3397370","mag":"3043641306"},"language":"en","primary_location":{"id":"doi:10.1145/3395363.3397370","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3395363.3397370","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 29th ACM SIGSOFT International Symposium on Software Testing and Analysis","raw_type":"proceedings-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/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":true,"raw_author_name":"Zhibo Liu","raw_affiliation_strings":["Hong Kong University of Science and Technology, China"],"affiliations":[{"raw_affiliation_string":"Hong Kong University of Science and Technology, China","institution_ids":["https://openalex.org/I200769079"]}]},{"author_position":"last","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":["Hong Kong University of Science and Technology, China"],"affiliations":[{"raw_affiliation_string":"Hong Kong University of Science and Technology, China","institution_ids":["https://openalex.org/I200769079"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5068911323"],"corresponding_institution_ids":["https://openalex.org/I200769079"],"apc_list":null,"apc_paid":null,"fwci":2.8912,"has_fulltext":false,"cited_by_count":51,"citation_normalized_percentile":{"value":0.91752443,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":89,"max":100},"biblio":{"volume":null,"issue":null,"first_page":"475","last_page":"487"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11241","display_name":"Advanced Malware Detection Techniques","score":0.9998999834060669,"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.9998999834060669,"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/T11424","display_name":"Security and Verification in Computing","score":0.9991000294685364,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"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.9972000122070312,"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/executable","display_name":"Executable","score":0.8092206120491028},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7782167196273804},{"id":"https://openalex.org/keywords/compiler","display_name":"Compiler","score":0.6275946497917175},{"id":"https://openalex.org/keywords/correctness","display_name":"Correctness","score":0.5958081483840942},{"id":"https://openalex.org/keywords/malware","display_name":"Malware","score":0.5870264768600464},{"id":"https://openalex.org/keywords/source-code","display_name":"Source code","score":0.5157883167266846},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.47169923782348633},{"id":"https://openalex.org/keywords/security-bug","display_name":"Security bug","score":0.46222057938575745},{"id":"https://openalex.org/keywords/secure-coding","display_name":"Secure coding","score":0.46191883087158203},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.46014130115509033},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.45295676589012146},{"id":"https://openalex.org/keywords/ransomware","display_name":"Ransomware","score":0.42216771841049194},{"id":"https://openalex.org/keywords/computer-security","display_name":"Computer security","score":0.34666332602500916},{"id":"https://openalex.org/keywords/software-security-assurance","display_name":"Software security assurance","score":0.34215736389160156}],"concepts":[{"id":"https://openalex.org/C160145156","wikidata":"https://www.wikidata.org/wiki/Q778586","display_name":"Executable","level":2,"score":0.8092206120491028},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7782167196273804},{"id":"https://openalex.org/C169590947","wikidata":"https://www.wikidata.org/wiki/Q47506","display_name":"Compiler","level":2,"score":0.6275946497917175},{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.5958081483840942},{"id":"https://openalex.org/C541664917","wikidata":"https://www.wikidata.org/wiki/Q14001","display_name":"Malware","level":2,"score":0.5870264768600464},{"id":"https://openalex.org/C43126263","wikidata":"https://www.wikidata.org/wiki/Q128751","display_name":"Source code","level":2,"score":0.5157883167266846},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.47169923782348633},{"id":"https://openalex.org/C131275738","wikidata":"https://www.wikidata.org/wiki/Q7445023","display_name":"Security bug","level":5,"score":0.46222057938575745},{"id":"https://openalex.org/C22680326","wikidata":"https://www.wikidata.org/wiki/Q7444867","display_name":"Secure coding","level":5,"score":0.46191883087158203},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.46014130115509033},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.45295676589012146},{"id":"https://openalex.org/C2777667771","wikidata":"https://www.wikidata.org/wiki/Q926331","display_name":"Ransomware","level":3,"score":0.42216771841049194},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.34666332602500916},{"id":"https://openalex.org/C62913178","wikidata":"https://www.wikidata.org/wiki/Q7554361","display_name":"Software security assurance","level":4,"score":0.34215736389160156},{"id":"https://openalex.org/C79974875","wikidata":"https://www.wikidata.org/wiki/Q483639","display_name":"Cloud computing","level":2,"score":0.0},{"id":"https://openalex.org/C184842701","wikidata":"https://www.wikidata.org/wiki/Q370563","display_name":"Cloud computing security","level":3,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1145/3395363.3397370","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3395363.3397370","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 29th ACM SIGSOFT International Symposium on Software Testing and Analysis","raw_type":"proceedings-article"},{"id":"pmh:oai:repository.ust.hk:1783.1-104709","is_oa":false,"landing_page_url":"http://lbdiscover.ust.hk/uresolver?url_ver=Z39.88-2004&rft_val_fmt=info:ofi/fmt:kev:mtx:journal&rfr_id=info:sid/HKUST:SPI&rft.genre=article&rft.issn=&rft.volume=&rft.issue=&rft.date=2020&rft.spage=&rft.aulast=Liu&rft.aufirst=Zhibo&rft.atitle=How+Far+We+Have+Come%3A+Testing+Decompilation+Correctness+of+C+Decompilers.&rft.title=","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":"Conference paper"}],"best_oa_location":null,"sustainable_development_goals":[{"display_name":"Reduced inequalities","score":0.7400000095367432,"id":"https://metadata.un.org/sdg/10"}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":32,"referenced_works":["https://openalex.org/W22973579","https://openalex.org/W961099885","https://openalex.org/W1412775481","https://openalex.org/W1564075167","https://openalex.org/W1994742583","https://openalex.org/W1997385049","https://openalex.org/W2030906223","https://openalex.org/W2090554354","https://openalex.org/W2095445208","https://openalex.org/W2105341394","https://openalex.org/W2112725702","https://openalex.org/W2114780348","https://openalex.org/W2128832779","https://openalex.org/W2170737051","https://openalex.org/W2193838104","https://openalex.org/W2302344383","https://openalex.org/W2407989913","https://openalex.org/W2414287720","https://openalex.org/W2496999134","https://openalex.org/W2532737545","https://openalex.org/W2583316335","https://openalex.org/W2767373589","https://openalex.org/W2791218785","https://openalex.org/W2792247670","https://openalex.org/W2794718534","https://openalex.org/W2884017574","https://openalex.org/W2905937334","https://openalex.org/W2914503388","https://openalex.org/W2963125488","https://openalex.org/W3033606455","https://openalex.org/W3039169798","https://openalex.org/W4238083723"],"related_works":["https://openalex.org/W1978034799","https://openalex.org/W4384518368","https://openalex.org/W2141388993","https://openalex.org/W2155353733","https://openalex.org/W2504659933","https://openalex.org/W2039943835","https://openalex.org/W2293245356","https://openalex.org/W2560421591","https://openalex.org/W1566131087","https://openalex.org/W2062583373"],"abstract_inverted_index":{"A":[0],"C":[1,10,17,40,85],"decompiler":[2],"converts":[3],"an":[4,24],"executable":[5,25],"(the":[6],"output":[7],"from":[8],"a":[9],"compiler)":[11],"into":[12],"source":[13,18],"code.":[14],"The":[15],"recovered":[16],"code,":[19],"once":[20],"recompiled,":[21],"will":[22],"produce":[23],"with":[26],"the":[27,31,65,74,78,89],"same":[28],"functionality":[29],"as":[30,64],"original":[32],"executable.":[33],"With":[34],"over":[35],"twenty":[36],"years":[37],"of":[38,91,99],"development,":[39],"decompilers":[41,86],"have":[42,87],"been":[43],"widely":[44],"used":[45],"in":[46,68,81,101],"production":[47],"to":[48,62],"support":[49],"reverse":[50],"engineering":[51],"applications,":[52],"including":[53],"legacy":[54],"software":[55,59,71],"migration,":[56],"security":[57],"retrofitting,":[58],"comprehension,":[60],"and":[61,77,94],"act":[63],"first":[66],"step":[67],"launching":[69],"adversarial":[70],"exploitations.":[72],"As":[73],"paramount":[75],"component":[76],"trust":[79],"base":[80],"numerous":[82],"cybersecurity":[83,96],"tasks,":[84],"enabled":[88],"analysis":[90],"malware,":[92],"ransomware,":[93],"promoted":[95],"professionals\u2019":[97],"understanding":[98],"vulnerabilities":[100],"real-world":[102],"systems.":[103]},"counts_by_year":[{"year":2026,"cited_by_count":2},{"year":2025,"cited_by_count":18},{"year":2024,"cited_by_count":12},{"year":2023,"cited_by_count":6},{"year":2022,"cited_by_count":8},{"year":2021,"cited_by_count":4},{"year":2020,"cited_by_count":1}],"updated_date":"2026-04-11T08:14:18.477133","created_date":"2025-10-10T00:00:00"}