{"id":"https://openalex.org/W2161963274","doi":"https://doi.org/10.1109/icis.2008.84","title":"Recovering Variable-Argument Functions from Binary Executables","display_name":"Recovering Variable-Argument Functions from Binary Executables","publication_year":2008,"publication_date":"2008-05-01","ids":{"openalex":"https://openalex.org/W2161963274","doi":"https://doi.org/10.1109/icis.2008.84","mag":"2161963274"},"language":"en","primary_location":{"id":"doi:10.1109/icis.2008.84","is_oa":false,"landing_page_url":"https://doi.org/10.1109/icis.2008.84","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Seventh IEEE/ACIS International Conference on Computer and Information Science (icis 2008)","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/A5100898453","display_name":"Fu Wen","orcid":null},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Wen Fu","raw_affiliation_strings":["China National Digital Switching System Engineering and Technological Research Center, Zhengzhou, Henan, China"],"affiliations":[{"raw_affiliation_string":"China National Digital Switching System Engineering and Technological Research Center, Zhengzhou, Henan, China","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5113746674","display_name":"Rongcai Zhao","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Rongcai Zhao","raw_affiliation_strings":["China National Digital Switching System Engineering and Technological Research Center, Zhengzhou, Henan, China"],"affiliations":[{"raw_affiliation_string":"China National Digital Switching System Engineering and Technological Research Center, Zhengzhou, Henan, China","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5049750136","display_name":"Jianmin Pang","orcid":"https://orcid.org/0000-0003-1835-5419"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Jianmin Pang","raw_affiliation_strings":["China National Digital Switching System Engineering and Technological Research Center, Zhengzhou, Henan, China"],"affiliations":[{"raw_affiliation_string":"China National Digital Switching System Engineering and Technological Research Center, Zhengzhou, Henan, China","institution_ids":[]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5009129218","display_name":"Jingbo Zhang","orcid":"https://orcid.org/0000-0002-7431-2790"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Jingbo Zhang","raw_affiliation_strings":["China National Digital Switching System Engineering and Technological Research Center, Zhengzhou, Henan, China"],"affiliations":[{"raw_affiliation_string":"China National Digital Switching System Engineering and Technological Research Center, Zhengzhou, Henan, China","institution_ids":[]}]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5100898453"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.11495115,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"545","last_page":"550"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11424","display_name":"Security and Verification in Computing","score":0.9993000030517578,"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"}},"topics":[{"id":"https://openalex.org/T11424","display_name":"Security and Verification in Computing","score":0.9993000030517578,"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.9991999864578247,"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"}},{"id":"https://openalex.org/T10054","display_name":"Parallel Computing and Optimization Techniques","score":0.9990000128746033,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/executable","display_name":"Executable","score":0.9074710011482239},{"id":"https://openalex.org/keywords/binary-function","display_name":"Binary function","score":0.7382764220237732},{"id":"https://openalex.org/keywords/compiler","display_name":"Compiler","score":0.7344151735305786},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7189853191375732},{"id":"https://openalex.org/keywords/argument","display_name":"Argument (complex analysis)","score":0.673132061958313},{"id":"https://openalex.org/keywords/variable","display_name":"Variable (mathematics)","score":0.6602880954742432},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.5202754139900208},{"id":"https://openalex.org/keywords/binary-number","display_name":"Binary number","score":0.4879569411277771},{"id":"https://openalex.org/keywords/function","display_name":"Function (biology)","score":0.4504837989807129},{"id":"https://openalex.org/keywords/optimizing-compiler","display_name":"Optimizing compiler","score":0.44490674138069153},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.3685033321380615},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.21060627698898315},{"id":"https://openalex.org/keywords/arithmetic","display_name":"Arithmetic","score":0.18613308668136597}],"concepts":[{"id":"https://openalex.org/C160145156","wikidata":"https://www.wikidata.org/wiki/Q778586","display_name":"Executable","level":2,"score":0.9074710011482239},{"id":"https://openalex.org/C105462591","wikidata":"https://www.wikidata.org/wiki/Q3737844","display_name":"Binary function","level":3,"score":0.7382764220237732},{"id":"https://openalex.org/C169590947","wikidata":"https://www.wikidata.org/wiki/Q47506","display_name":"Compiler","level":2,"score":0.7344151735305786},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7189853191375732},{"id":"https://openalex.org/C98184364","wikidata":"https://www.wikidata.org/wiki/Q1780131","display_name":"Argument (complex analysis)","level":2,"score":0.673132061958313},{"id":"https://openalex.org/C182365436","wikidata":"https://www.wikidata.org/wiki/Q50701","display_name":"Variable (mathematics)","level":2,"score":0.6602880954742432},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.5202754139900208},{"id":"https://openalex.org/C48372109","wikidata":"https://www.wikidata.org/wiki/Q3913","display_name":"Binary number","level":2,"score":0.4879569411277771},{"id":"https://openalex.org/C14036430","wikidata":"https://www.wikidata.org/wiki/Q3736076","display_name":"Function (biology)","level":2,"score":0.4504837989807129},{"id":"https://openalex.org/C190902152","wikidata":"https://www.wikidata.org/wiki/Q1325106","display_name":"Optimizing compiler","level":3,"score":0.44490674138069153},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.3685033321380615},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.21060627698898315},{"id":"https://openalex.org/C94375191","wikidata":"https://www.wikidata.org/wiki/Q11205","display_name":"Arithmetic","level":1,"score":0.18613308668136597},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0},{"id":"https://openalex.org/C55493867","wikidata":"https://www.wikidata.org/wiki/Q7094","display_name":"Biochemistry","level":1,"score":0.0},{"id":"https://openalex.org/C78458016","wikidata":"https://www.wikidata.org/wiki/Q840400","display_name":"Evolutionary biology","level":1,"score":0.0},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0},{"id":"https://openalex.org/C185592680","wikidata":"https://www.wikidata.org/wiki/Q2329","display_name":"Chemistry","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/icis.2008.84","is_oa":false,"landing_page_url":"https://doi.org/10.1109/icis.2008.84","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Seventh IEEE/ACIS International Conference on Computer and Information Science (icis 2008)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":9,"referenced_works":["https://openalex.org/W1582456956","https://openalex.org/W1690077620","https://openalex.org/W2105341394","https://openalex.org/W2109903957","https://openalex.org/W2110615297","https://openalex.org/W2120142089","https://openalex.org/W2128832779","https://openalex.org/W4249635270","https://openalex.org/W6634977055"],"related_works":["https://openalex.org/W2357088637","https://openalex.org/W2759596553","https://openalex.org/W2002505081","https://openalex.org/W2083681681","https://openalex.org/W2577630842","https://openalex.org/W1172579163","https://openalex.org/W1488300410","https://openalex.org/W2138790427","https://openalex.org/W3146558274","https://openalex.org/W4246454774"],"abstract_inverted_index":{"Variable-argument":[0],"functions,":[1],"such":[2,22],"as":[3],"printf(),":[4],"are":[5,149],"broadly":[6],"used":[7],"in":[8,34,53,65,100],"C":[9,91],"programs":[10,92],"because":[11],"of":[12,16,21,37,71,89],"its":[13],"flexible":[14],"usage":[15],"pointers.":[17],"However,":[18],"the":[19,35],"recovery":[20],"a":[23,26,47,62,66,86,127],"function":[24,49,64],"from":[25,50,119],"binary":[27,54,82,120],"executable":[28],"is":[29,43,58,74],"not":[30,150],"an":[31,136],"easy":[32],"task":[33],"field":[36],"reverse":[38],"compilation.":[39],"The":[40,56,69],"first":[41],"problem":[42],"how":[44,59,95],"to":[45,60,75,93,96,104,115,130,152],"distinguish":[46],"variable-argument":[48,63,98,117,132],"other":[51],"functions":[52,99,118],"code.":[55,102],"second":[57],"implement":[61,97],"target":[67],"program.":[68],"aim":[70],"this":[72],"paper":[73],"deal":[76],"with":[77,141],"these":[78],"problems":[79],"for":[80,144],"IA-64":[81],"executables.":[83,121],"We":[84,134],"analyzed":[85],"large":[87],"number":[88],"disassembled":[90],"see":[94],"machine":[101],"According":[103],"calling":[105],"conventions":[106],"on":[107],"IA-64/Linux":[108],"platform,":[109],"we":[110,124],"abstracted":[111],"some":[112],"instruction":[113],"patterns":[114],"recognize":[116],"Besides":[122],"that,":[123],"put":[125],"forward":[126],"normalization":[128],"method":[129],"recover":[131],"lists.":[133],"use":[135],"example":[137],"compiled":[138],"by":[139],"GCC":[140],"-O0":[142],"option":[143],"demonstration,":[145],"but":[146],"our":[147],"methods":[148],"limited":[151],"any":[153],"particular":[154],"compiler":[155],"and":[156],"compiling":[157],"option.":[158]},"counts_by_year":[],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}