{"id":"https://openalex.org/W4387674224","doi":"https://doi.org/10.1145/3622833","title":"A Cocktail Approach to Practical Call Graph Construction","display_name":"A Cocktail Approach to Practical Call Graph Construction","publication_year":2023,"publication_date":"2023-10-16","ids":{"openalex":"https://openalex.org/W4387674224","doi":"https://doi.org/10.1145/3622833"},"language":"en","primary_location":{"id":"doi:10.1145/3622833","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3622833","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3622833","source":{"id":"https://openalex.org/S4210216081","display_name":"Proceedings of the ACM on Programming Languages","issn_l":"2475-1421","issn":["2475-1421"],"is_oa":true,"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":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the ACM on Programming Languages","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"diamond","oa_url":"https://dl.acm.org/doi/pdf/10.1145/3622833","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5017012201","display_name":"Yuandao Cai","orcid":"https://orcid.org/0000-0001-6340-1416"},"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":"Yuandao Cai","raw_affiliation_strings":["Hong Kong University of Science and Technology, Hong Kong, China"],"raw_orcid":"https://orcid.org/0000-0001-6340-1416","affiliations":[{"raw_affiliation_string":"Hong Kong University of Science and Technology, Hong Kong, China","institution_ids":["https://openalex.org/I200769079"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5101490553","display_name":"Charles Zhang","orcid":"https://orcid.org/0000-0001-6417-1034"},"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":"Charles Zhang","raw_affiliation_strings":["Hong Kong University of Science and Technology, Hong Kong, China"],"raw_orcid":"https://orcid.org/0000-0001-6417-1034","affiliations":[{"raw_affiliation_string":"Hong Kong University of Science and Technology, Hong Kong, China","institution_ids":["https://openalex.org/I200769079"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5017012201"],"corresponding_institution_ids":["https://openalex.org/I200769079"],"apc_list":null,"apc_paid":null,"fwci":1.5351,"has_fulltext":true,"cited_by_count":8,"citation_normalized_percentile":{"value":0.84122563,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":96,"max":98},"biblio":{"volume":"7","issue":"OOPSLA2","first_page":"1001","last_page":"1033"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11241","display_name":"Advanced Malware Detection Techniques","score":1.0,"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":1.0,"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.9991999864578247,"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.9991000294685364,"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.7841103672981262},{"id":"https://openalex.org/keywords/call-graph","display_name":"Call graph","score":0.6286327242851257},{"id":"https://openalex.org/keywords/pointer","display_name":"Pointer (user interface)","score":0.58933025598526},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.5492777824401855},{"id":"https://openalex.org/keywords/system-call","display_name":"System call","score":0.42070627212524414},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.2683948278427124},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.23160475492477417}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7841103672981262},{"id":"https://openalex.org/C102379954","wikidata":"https://www.wikidata.org/wiki/Q2589940","display_name":"Call graph","level":2,"score":0.6286327242851257},{"id":"https://openalex.org/C150202949","wikidata":"https://www.wikidata.org/wiki/Q107602","display_name":"Pointer (user interface)","level":2,"score":0.58933025598526},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.5492777824401855},{"id":"https://openalex.org/C2778579508","wikidata":"https://www.wikidata.org/wiki/Q722192","display_name":"System call","level":2,"score":0.42070627212524414},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.2683948278427124},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.23160475492477417}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1145/3622833","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3622833","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3622833","source":{"id":"https://openalex.org/S4210216081","display_name":"Proceedings of the ACM on Programming Languages","issn_l":"2475-1421","issn":["2475-1421"],"is_oa":true,"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":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the ACM on Programming Languages","raw_type":"journal-article"},{"id":"pmh:oai:repository.hkust.edu.hk:1783.1-129253","is_oa":false,"landing_page_url":"http://repository.hkust.edu.hk/ir/Record/1783.1-129253","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":{"id":"doi:10.1145/3622833","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3622833","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3622833","source":{"id":"https://openalex.org/S4210216081","display_name":"Proceedings of the ACM on Programming Languages","issn_l":"2475-1421","issn":["2475-1421"],"is_oa":true,"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":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the ACM on Programming Languages","raw_type":"journal-article"},"sustainable_development_goals":[{"display_name":"Life below water","id":"https://metadata.un.org/sdg/14","score":0.5}],"awards":[{"id":"https://openalex.org/G5074566444","display_name":null,"funder_award_id":"PRP/004/21FX","funder_id":"https://openalex.org/F4320318398","funder_display_name":"Ant Group"},{"id":"https://openalex.org/G5409237908","display_name":null,"funder_award_id":"PRP/004/21FX","funder_id":"https://openalex.org/F4320321920","funder_display_name":"Innovation and Technology Commission"},{"id":"https://openalex.org/G5445995690","display_name":null,"funder_award_id":"ITS/440/18FP","funder_id":"https://openalex.org/F4320321920","funder_display_name":"Innovation and Technology Commission"},{"id":"https://openalex.org/G6558042385","display_name":null,"funder_award_id":"RGC16206517","funder_id":"https://openalex.org/F4320321920","funder_display_name":"Innovation and Technology Commission"}],"funders":[{"id":"https://openalex.org/F4320318398","display_name":"Ant Group","ror":null},{"id":"https://openalex.org/F4320321920","display_name":"Innovation and Technology Commission","ror":"https://ror.org/04vf9tr09"}],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4387674224.pdf","grobid_xml":"https://content.openalex.org/works/W4387674224.grobid-xml"},"referenced_works_count":103,"referenced_works":["https://openalex.org/W136002940","https://openalex.org/W951859702","https://openalex.org/W1557376641","https://openalex.org/W1568194905","https://openalex.org/W1582456956","https://openalex.org/W1650097949","https://openalex.org/W1856083558","https://openalex.org/W1959797194","https://openalex.org/W1965604953","https://openalex.org/W1971782746","https://openalex.org/W1971859150","https://openalex.org/W1990465482","https://openalex.org/W1993736952","https://openalex.org/W1999517284","https://openalex.org/W2002696307","https://openalex.org/W2008626182","https://openalex.org/W2014323361","https://openalex.org/W2046699259","https://openalex.org/W2048229966","https://openalex.org/W2053155313","https://openalex.org/W2059677325","https://openalex.org/W2080205938","https://openalex.org/W2080573945","https://openalex.org/W2086839628","https://openalex.org/W2088383546","https://openalex.org/W2109427294","https://openalex.org/W2110833886","https://openalex.org/W2118221555","https://openalex.org/W2119137801","https://openalex.org/W2120308515","https://openalex.org/W2131135493","https://openalex.org/W2134311998","https://openalex.org/W2142890871","https://openalex.org/W2145911832","https://openalex.org/W2152777241","https://openalex.org/W2153578567","https://openalex.org/W2154557525","https://openalex.org/W2154847114","https://openalex.org/W2155061608","https://openalex.org/W2155962559","https://openalex.org/W2162544703","https://openalex.org/W2166743230","https://openalex.org/W2258876169","https://openalex.org/W2291690114","https://openalex.org/W2293062955","https://openalex.org/W2295857493","https://openalex.org/W2297774820","https://openalex.org/W2368550879","https://openalex.org/W2511015845","https://openalex.org/W2546558533","https://openalex.org/W2547862110","https://openalex.org/W2553375745","https://openalex.org/W2625856576","https://openalex.org/W2626029330","https://openalex.org/W2654868256","https://openalex.org/W2761352457","https://openalex.org/W2761799536","https://openalex.org/W2766540688","https://openalex.org/W2785618324","https://openalex.org/W2794889478","https://openalex.org/W2799226481","https://openalex.org/W2891057055","https://openalex.org/W2898502769","https://openalex.org/W2899357780","https://openalex.org/W2954121408","https://openalex.org/W2966422137","https://openalex.org/W2969354474","https://openalex.org/W2980018082","https://openalex.org/W2987375469","https://openalex.org/W2989324102","https://openalex.org/W2997903896","https://openalex.org/W3019415692","https://openalex.org/W3019428952","https://openalex.org/W3030148664","https://openalex.org/W3110216559","https://openalex.org/W3139338820","https://openalex.org/W3147482974","https://openalex.org/W3161685529","https://openalex.org/W3174414418","https://openalex.org/W3174544859","https://openalex.org/W3177312109","https://openalex.org/W3180903877","https://openalex.org/W3185057029","https://openalex.org/W3185514416","https://openalex.org/W3207496574","https://openalex.org/W4206500166","https://openalex.org/W4206770190","https://openalex.org/W4235278598","https://openalex.org/W4236563502","https://openalex.org/W4241352414","https://openalex.org/W4243644740","https://openalex.org/W4251697482","https://openalex.org/W4284687346","https://openalex.org/W4285131467","https://openalex.org/W4288057792","https://openalex.org/W4300810260","https://openalex.org/W4308643091","https://openalex.org/W4311166013","https://openalex.org/W4313563792","https://openalex.org/W4318953535","https://openalex.org/W4379533994","https://openalex.org/W6958920771","https://openalex.org/W6967079071"],"related_works":["https://openalex.org/W2296034340","https://openalex.org/W4233102183","https://openalex.org/W2120308515","https://openalex.org/W2109005061","https://openalex.org/W2534378520","https://openalex.org/W2025749518","https://openalex.org/W2167432494","https://openalex.org/W2152043747","https://openalex.org/W2729473725","https://openalex.org/W2038036666"],"abstract_inverted_index":{"After":[0],"decades":[1],"of":[2,29,61,82,101,110,119,125,204,206,215,228],"research,":[3],"constructing":[4,120],"call":[5,123,196,223],"graphs":[6,124,224],"for":[7,87,208,250],"modern":[8],"C-based":[9],"software":[10],"remains":[11],"either":[12],"imprecise":[13],"or":[14],"inefficient":[15],"when":[16,44],"scaling":[17],"up":[18,201],"to":[19,104,168,202,212],"the":[20,27,66,83,99,117,159,169,189,209,213,221,226,240],"ever-growing":[21],"complexity.":[22],"The":[23,174],"main":[24],"culprit":[25],"is":[26],"difficulty":[28],"resolving":[30],"function":[31,62,88],"pointers,":[32,89],"as":[33],"precise":[34,122,132],"pointer":[35,63],"analyses":[36],"are":[37,176],"cubic":[38],"in":[39,65,73,97,151,165,269],"nature":[40],"and":[41,134,154,193,236,255],"become":[42],"exponential":[43],"considering":[45],"calling":[46],"contexts.":[47],"This":[48,163],"paper":[49],"takes":[50],"a":[51,57,90,105,108,138,142],"practical":[52],"stance":[53],"by":[54,128,219,266],"first":[55,210],"conducting":[56],"comprehensive":[58],"empirical":[59],"study":[60],"manipulations":[64],"wild.":[67],"By":[68],"investigating":[69],"5355":[70],"indirect":[71,145,267],"calls":[72,146],"five":[74],"popular":[75,270],"open-source":[76],"systems,":[77],"we":[78,115,259],"conclude":[79],"that,":[80],"instead":[81],"past":[84],"uniform":[85],"treatments":[86],"cocktail":[91,171],"approach":[92],"can":[93,147,184,245],"be":[94,148],"more":[95],"effective":[96],"\u201csqueezing\u201d":[98],"number":[100],"difficult":[102],"pointers":[103],"minimum":[106],"using":[107],"potpourri":[109],"cheap":[111],"methods.":[112],"In":[113],"particular,":[114],"decompose":[116],"costs":[118],"highly":[121],"big":[126],"code":[127,207],"tailoring":[129],"several":[130],"increasingly":[131],"algorithms":[133],"synergizing":[135],"them":[136],"into":[137],"concerted":[139],"workflow.":[140],"As":[141],"result,":[143],"many":[144],"precisely":[149],"resolved":[150],"an":[152],"efficient":[153],"principled":[155],"fashion,":[156],"thereby":[157],"reducing":[158],"final,":[160],"expensive":[161],"refinements.":[162],"is,":[164],"spirit,":[166],"similar":[167,186],"well-known":[170],"medical":[172],"therapy.":[173],"results":[175,241],"encouraging":[177],"\u2014":[178],"our":[179,216],"implemented":[180],"prototype":[181],"called":[182],"Coral":[183,244],"achieve":[185],"precision":[187],"versus":[188],"previous":[190],"field-,":[191],"flow-,":[192],"context-sensitive":[194],"Andersen-style":[195],"graph":[197],"construction,":[198],"yet":[199],"scale":[200],"millions":[203],"lines":[205],"time,":[211],"best":[214],"knowledge.":[217],"Moreover,":[218],"evaluating":[220],"produced":[222],"through":[225],"lens":[227],"downstream":[229],"clients":[230],"(i.e.,":[231],"use-after-free":[232],"detection,":[233],"thin":[234],"slicing,":[235],"directed":[237],"grey-box":[238],"fuzzing),":[239],"show":[242],"that":[243],"dramatically":[246],"improve":[247],"their":[248],"effectiveness":[249],"better":[251],"vulnerability":[252],"hunting,":[253],"understanding,":[254],"reproduction.":[256],"More":[257],"excitingly,":[258],"found":[260],"twelve":[261],"confirmed":[262],"bugs":[263],"(six":[264],"impacted":[265],"calls)":[268],"systems":[271],"(e.g.,":[272],"MariaDB),":[273],"spreading":[274],"across":[275],"multiple":[276],"historical":[277],"versions.":[278]},"counts_by_year":[{"year":2025,"cited_by_count":3},{"year":2024,"cited_by_count":5}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}