{"id":"https://openalex.org/W4410953428","doi":"https://doi.org/10.1145/3725811","title":"<scp>Spectre</scp> : Automated Aliasing Specification Generation for Library APIs with Fuzzing","display_name":"<scp>Spectre</scp> : Automated Aliasing Specification Generation for Library APIs with Fuzzing","publication_year":2025,"publication_date":"2025-06-02","ids":{"openalex":"https://openalex.org/W4410953428","doi":"https://doi.org/10.1145/3725811"},"language":"en","primary_location":{"id":"doi:10.1145/3725811","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3725811","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3725811","source":{"id":"https://openalex.org/S142627899","display_name":"ACM Transactions on Software Engineering and Methodology","issn_l":"1049-331X","issn":["1049-331X","1557-7392"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM Transactions on Software Engineering and Methodology","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"bronze","oa_url":"https://dl.acm.org/doi/pdf/10.1145/3725811","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5098879465","display_name":"Shuangxiang Kan","orcid":"https://orcid.org/0000-0002-2807-1420"},"institutions":[{"id":"https://openalex.org/I31746571","display_name":"UNSW Sydney","ror":"https://ror.org/03r8z3t63","country_code":"AU","type":"education","lineage":["https://openalex.org/I31746571"]}],"countries":["AU"],"is_corresponding":false,"raw_author_name":"Shuangxiang Kan","raw_affiliation_strings":["University of New South Wales, Sydney, Australia","University of New South Wales, Australia"],"raw_orcid":"https://orcid.org/0000-0002-2807-1420","affiliations":[{"raw_affiliation_string":"University of New South Wales, Sydney, Australia","institution_ids":["https://openalex.org/I31746571"]},{"raw_affiliation_string":"University of New South Wales, Australia","institution_ids":["https://openalex.org/I31746571"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5068561556","display_name":"Yuekang Li","orcid":"https://orcid.org/0000-0003-4382-0757"},"institutions":[{"id":"https://openalex.org/I31746571","display_name":"UNSW Sydney","ror":"https://ror.org/03r8z3t63","country_code":"AU","type":"education","lineage":["https://openalex.org/I31746571"]}],"countries":["AU"],"is_corresponding":false,"raw_author_name":"Yuekang Li","raw_affiliation_strings":["University of New South Wales, Sydney, Australia","University of New South Wales, Australia"],"raw_orcid":"https://orcid.org/0000-0003-4382-0757","affiliations":[{"raw_affiliation_string":"University of New South Wales, Sydney, Australia","institution_ids":["https://openalex.org/I31746571"]},{"raw_affiliation_string":"University of New South Wales, Australia","institution_ids":["https://openalex.org/I31746571"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5035715359","display_name":"Weigang He","orcid":"https://orcid.org/0009-0002-2086-7034"},"institutions":[{"id":"https://openalex.org/I114017466","display_name":"University of Technology Sydney","ror":"https://ror.org/03f0f6041","country_code":"AU","type":"education","lineage":["https://openalex.org/I114017466"]},{"id":"https://openalex.org/I31746571","display_name":"UNSW Sydney","ror":"https://ror.org/03r8z3t63","country_code":"AU","type":"education","lineage":["https://openalex.org/I31746571"]}],"countries":["AU"],"is_corresponding":false,"raw_author_name":"Weigang He","raw_affiliation_strings":["University of Technology Sydney, Sydney, Australia and University of New South Wales, Sydney, Australia","University of Technology Sydney and University of New South Wales, Australia"],"raw_orcid":"https://orcid.org/0009-0002-2086-7034","affiliations":[{"raw_affiliation_string":"University of Technology Sydney, Sydney, Australia and University of New South Wales, Sydney, Australia","institution_ids":["https://openalex.org/I114017466"]},{"raw_affiliation_string":"University of Technology Sydney and University of New South Wales, Australia","institution_ids":["https://openalex.org/I114017466","https://openalex.org/I31746571"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5028641941","display_name":"Zhenchang Xing","orcid":"https://orcid.org/0000-0001-7663-1421"},"institutions":[{"id":"https://openalex.org/I118347636","display_name":"Australian National University","ror":"https://ror.org/019wvm592","country_code":"AU","type":"education","lineage":["https://openalex.org/I118347636"]},{"id":"https://openalex.org/I1292875679","display_name":"Commonwealth Scientific and Industrial Research Organisation","ror":"https://ror.org/03qn8fb07","country_code":"AU","type":"government","lineage":["https://openalex.org/I1292875679","https://openalex.org/I2801453606","https://openalex.org/I4387156119"]},{"id":"https://openalex.org/I42894916","display_name":"Data61","ror":"https://ror.org/03q397159","country_code":"AU","type":"other","lineage":["https://openalex.org/I1292875679","https://openalex.org/I2801453606","https://openalex.org/I42894916","https://openalex.org/I4387156119"]}],"countries":["AU"],"is_corresponding":false,"raw_author_name":"Zhenchang Xing","raw_affiliation_strings":["CSIRO\u2019s Data61, Canberra, Australia","CSIRO's Data61 and Australian National University, Australia"],"raw_orcid":"https://orcid.org/0000-0001-7663-1421","affiliations":[{"raw_affiliation_string":"CSIRO\u2019s Data61, Canberra, Australia","institution_ids":["https://openalex.org/I1292875679","https://openalex.org/I42894916"]},{"raw_affiliation_string":"CSIRO's Data61 and Australian National University, Australia","institution_ids":["https://openalex.org/I118347636","https://openalex.org/I1292875679","https://openalex.org/I42894916"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5064683660","display_name":"Liming Zhu","orcid":"https://orcid.org/0000-0001-5839-3765"},"institutions":[{"id":"https://openalex.org/I118347636","display_name":"Australian National University","ror":"https://ror.org/019wvm592","country_code":"AU","type":"education","lineage":["https://openalex.org/I118347636"]},{"id":"https://openalex.org/I1292875679","display_name":"Commonwealth Scientific and Industrial Research Organisation","ror":"https://ror.org/03qn8fb07","country_code":"AU","type":"government","lineage":["https://openalex.org/I1292875679","https://openalex.org/I2801453606","https://openalex.org/I4387156119"]},{"id":"https://openalex.org/I31746571","display_name":"UNSW Sydney","ror":"https://ror.org/03r8z3t63","country_code":"AU","type":"education","lineage":["https://openalex.org/I31746571"]},{"id":"https://openalex.org/I42894916","display_name":"Data61","ror":"https://ror.org/03q397159","country_code":"AU","type":"other","lineage":["https://openalex.org/I1292875679","https://openalex.org/I2801453606","https://openalex.org/I42894916","https://openalex.org/I4387156119"]}],"countries":["AU"],"is_corresponding":false,"raw_author_name":"Liming Zhu","raw_affiliation_strings":["CSIRO\u2019s Data61 and Australian National University, Canberra, Australia","CSIRO's Data61 and University of New South Wales, Australia"],"raw_orcid":"https://orcid.org/0000-0001-5839-3765","affiliations":[{"raw_affiliation_string":"CSIRO\u2019s Data61 and Australian National University, Canberra, Australia","institution_ids":["https://openalex.org/I118347636","https://openalex.org/I42894916"]},{"raw_affiliation_string":"CSIRO's Data61 and University of New South Wales, Australia","institution_ids":["https://openalex.org/I1292875679","https://openalex.org/I31746571","https://openalex.org/I42894916"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5053058502","display_name":"Yulei Sui","orcid":"https://orcid.org/0000-0002-9510-6574"},"institutions":[{"id":"https://openalex.org/I31746571","display_name":"UNSW Sydney","ror":"https://ror.org/03r8z3t63","country_code":"AU","type":"education","lineage":["https://openalex.org/I31746571"]}],"countries":["AU"],"is_corresponding":false,"raw_author_name":"Yulei Sui","raw_affiliation_strings":["University of New South Wales, Sydney, Australia","University of New South Wales, Australia"],"raw_orcid":"https://orcid.org/0000-0002-9510-6574","affiliations":[{"raw_affiliation_string":"University of New South Wales, Sydney, Australia","institution_ids":["https://openalex.org/I31746571"]},{"raw_affiliation_string":"University of New South Wales, Australia","institution_ids":["https://openalex.org/I31746571"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":5,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":1.1436,"has_fulltext":true,"cited_by_count":1,"citation_normalized_percentile":{"value":0.80078966,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":94,"max":97},"biblio":{"volume":"35","issue":"4","first_page":"1","last_page":"28"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9998000264167786,"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"}},"topics":[{"id":"https://openalex.org/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9998000264167786,"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/T11241","display_name":"Advanced Malware Detection Techniques","score":0.9991999864578247,"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.9983000159263611,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/fuzz-testing","display_name":"Fuzz testing","score":0.9530606865882874},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8098498582839966},{"id":"https://openalex.org/keywords/aliasing","display_name":"Aliasing","score":0.420177161693573},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.4038563668727875},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.37100377678871155},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.17120888829231262},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.13190913200378418}],"concepts":[{"id":"https://openalex.org/C111065885","wikidata":"https://www.wikidata.org/wiki/Q1189053","display_name":"Fuzz testing","level":3,"score":0.9530606865882874},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8098498582839966},{"id":"https://openalex.org/C4069607","wikidata":"https://www.wikidata.org/wiki/Q868732","display_name":"Aliasing","level":3,"score":0.420177161693573},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.4038563668727875},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.37100377678871155},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.17120888829231262},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.13190913200378418},{"id":"https://openalex.org/C136536468","wikidata":"https://www.wikidata.org/wiki/Q1225894","display_name":"Undersampling","level":2,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3725811","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3725811","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3725811","source":{"id":"https://openalex.org/S142627899","display_name":"ACM Transactions on Software Engineering and Methodology","issn_l":"1049-331X","issn":["1049-331X","1557-7392"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM Transactions on Software Engineering and Methodology","raw_type":"journal-article"}],"best_oa_location":{"id":"doi:10.1145/3725811","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3725811","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3725811","source":{"id":"https://openalex.org/S142627899","display_name":"ACM Transactions on Software Engineering and Methodology","issn_l":"1049-331X","issn":["1049-331X","1557-7392"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM Transactions on Software Engineering and Methodology","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G3766076406","display_name":null,"funder_award_id":"FT220100391 and DE250100192","funder_id":"https://openalex.org/F4320334704","funder_display_name":"Australian Research Council"}],"funders":[{"id":"https://openalex.org/F4320334704","display_name":"Australian Research Council","ror":"https://ror.org/05mmh0f86"}],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4410953428.pdf","grobid_xml":"https://content.openalex.org/works/W4410953428.grobid-xml"},"referenced_works_count":41,"referenced_works":["https://openalex.org/W116656696","https://openalex.org/W157156687","https://openalex.org/W1710734607","https://openalex.org/W1991546210","https://openalex.org/W1996567876","https://openalex.org/W2041713059","https://openalex.org/W2042033151","https://openalex.org/W2088126145","https://openalex.org/W2114221821","https://openalex.org/W2126775986","https://openalex.org/W2126834265","https://openalex.org/W2132481916","https://openalex.org/W2140021378","https://openalex.org/W2156841542","https://openalex.org/W2181712945","https://openalex.org/W2295857493","https://openalex.org/W2297774820","https://openalex.org/W2377819450","https://openalex.org/W2535617737","https://openalex.org/W2767301967","https://openalex.org/W2788129993","https://openalex.org/W2806377938","https://openalex.org/W2806746626","https://openalex.org/W2951091523","https://openalex.org/W2955355561","https://openalex.org/W2964241064","https://openalex.org/W2967191362","https://openalex.org/W3006751250","https://openalex.org/W3019428952","https://openalex.org/W3090362160","https://openalex.org/W3122752779","https://openalex.org/W3147482974","https://openalex.org/W3160282589","https://openalex.org/W4241531852","https://openalex.org/W4248574992","https://openalex.org/W4248587618","https://openalex.org/W4284678181","https://openalex.org/W4289038676","https://openalex.org/W4399039490","https://openalex.org/W4400581950","https://openalex.org/W6606430823"],"related_works":["https://openalex.org/W4391375266","https://openalex.org/W2899084033","https://openalex.org/W2748952813","https://openalex.org/W2511770387","https://openalex.org/W3120811337","https://openalex.org/W2766647240","https://openalex.org/W4385301282","https://openalex.org/W2990186179","https://openalex.org/W4210660460","https://openalex.org/W3203597304"],"abstract_inverted_index":{"Static":[0],"program":[1,114],"analysis":[2,236,272,276],"of":[3,37,53,173,204,237,262,277,290],"real-world":[4],"software":[5],"that":[6,32,79,315],"integrates":[7,108],"numerous":[8],"library":[9,88],"Application":[10],"Programming":[11],"Interfaces":[12],"(APIs)":[13],"faces":[14],"significant":[15],"challenges":[16],"due":[17],"to":[18,29,83,124,161,169,306],"inaccessible":[19,67],"or":[20,68],"highly":[21],"complex":[22],"source":[23,64,99,103,141,177,240],"code.":[24,241],"A":[25],"common":[26],"workaround":[27],"is":[28,46,66,105,132,138,143,243,317],"use":[30],"specifications":[31,45,86,208,214,229,256,265,304,324],"summarize":[33],"the":[34,112,116,134,171,238,263,291],"key":[35],"behaviors":[36],"these":[38,308],"APIs":[39],"for":[40,87,153,257,321],"analysis.":[41,328],"However,":[42],"manually":[43,206],"writing":[44],"labor-intensive":[47],"and":[48,93,97,120,194,209,286,325],"requires":[49],"a":[50,130,189,282],"deep":[51],"understanding":[52],"API":[54,117,127,239],"semantics,":[55],"while":[56,280],"existing":[57],"automated":[58,77],"specification":[59,137,155,183,249],"generation":[60,184],"techniques":[61,82],"struggle":[62],"when":[63,307],"code":[65,100,104,142,178,279],"partially":[69],"available.":[70],"This":[71],"article":[72],"introduces":[73],"Spectre":[74,90,107,145,174,180,201,226,242,299,316],",":[75,300],"an":[76,318],"framework":[78],"leverages":[80],"fuzzing":[81,123,149,294],"generate":[84,162],"aliasing":[85,136,154,163,213,228,271,323],"APIs.":[89],"operates":[91],"efficiently":[92],"precisely":[94],"both":[95,187],"with":[96],"without":[98],"access.":[101],"When":[102,140],"unavailable,":[106],"alias-check":[109],"observers":[110],"into":[111],"driver":[113],"after":[115],"call":[118],"site":[119],"performs":[121],"black-box":[122],"explore":[125],"different":[126],"behaviors.":[128],"If":[129],"check":[131],"satisfied,":[133],"corresponding":[135],"generated.":[139],"available,":[144],"incorporates":[146],"new":[147],"grey-box":[148,293],"features":[150,295,309],"specifically":[151],"tailored":[152,292],"inference,":[156],"further":[157],"enhancing":[158],"its":[159,182],"ability":[160],"specifications.":[164],"We":[165],"conducted":[166],"extensive":[167],"experiments":[168],"evaluate":[170],"performance":[172],".":[175],"Without":[176],"access,":[179],"demonstrated":[181,297],"capability":[185],"across":[186],"Musl,":[188,200],"lightweight":[190],"C":[191,196,222],"standard":[192],"library,":[193],"eight":[195],"third-party":[197,223,258],"libraries.":[198,259],"For":[199,221],"recovered":[202],"96.7%":[203],"correct":[205,233,255],"written":[207,217],"identified":[210],"40.0%":[211],"more":[212,245,254,303],"than":[215,247],"those":[216],"by":[218,298],"external":[219],"experts.":[220],"libraries,":[224],"all":[225],"-generated":[227],"were":[230,310],"validated":[231],"as":[232,268],"through":[234],"static":[235,274,327],"also":[244],"complete":[246],"other":[248],"inference":[250],"tools,":[251],"generating":[252],"16.7%":[253],"The":[260,288],"practicality":[261],"generated":[264],"was":[266,296],"confirmed,":[267],"they":[269],"improved":[270],"in":[273],"pointer":[275],"client":[278],"maintaining":[281],"balance":[283],"between":[284],"accuracy":[285],"efficiency.":[287],"effectiveness":[289],"identifying":[301],"20%":[302],"compared":[305],"disabled.":[311],"These":[312],"results":[313],"show":[314],"effective":[319],"tool":[320],"inferring":[322],"facilitating":[326]},"counts_by_year":[{"year":2026,"cited_by_count":1}],"updated_date":"2026-08-01T09:00:35.917206","created_date":"2025-10-10T00:00:00"}