{"id":"https://openalex.org/W3089416068","doi":"https://doi.org/10.1145/3377811.3380346","title":"Conquering the extensional scalability problem for value-flow analysis frameworks","display_name":"Conquering the extensional scalability problem for value-flow analysis frameworks","publication_year":2020,"publication_date":"2020-06-27","ids":{"openalex":"https://openalex.org/W3089416068","doi":"https://doi.org/10.1145/3377811.3380346","mag":"3089416068"},"language":"en","primary_location":{"id":"doi:10.1145/3377811.3380346","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3377811.3380346","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the ACM/IEEE 42nd International Conference on Software Engineering","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/A5034844386","display_name":"Qingkai Shi","orcid":"https://orcid.org/0000-0002-8297-8998"},"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":"Qingkai Shi","raw_affiliation_strings":["The Hong Kong University of Science and Technology, Hong Kong, China"],"affiliations":[{"raw_affiliation_string":"The Hong Kong University of Science and Technology, Hong Kong, China","institution_ids":["https://openalex.org/I200769079"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5054822682","display_name":"Rongxin Wu","orcid":"https://orcid.org/0000-0002-4648-3795"},"institutions":[{"id":"https://openalex.org/I191208505","display_name":"Xiamen University","ror":"https://ror.org/00mcjh785","country_code":"CN","type":"education","lineage":["https://openalex.org/I191208505"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Rongxin Wu","raw_affiliation_strings":["Xiamen University, Xiamen, China"],"affiliations":[{"raw_affiliation_string":"Xiamen University, Xiamen, China","institution_ids":["https://openalex.org/I191208505"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5065466354","display_name":"Gang Fan","orcid":"https://orcid.org/0000-0002-8633-6036"},"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":"Gang Fan","raw_affiliation_strings":["The Hong Kong University of Science and Technology, Hong Kong, China"],"affiliations":[{"raw_affiliation_string":"The 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":["The Hong Kong University of Science and Technology, Hong Kong, China"],"affiliations":[{"raw_affiliation_string":"The Hong Kong University of Science and Technology, Hong Kong, China","institution_ids":["https://openalex.org/I200769079"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5034844386"],"corresponding_institution_ids":["https://openalex.org/I200769079"],"apc_list":null,"apc_paid":null,"fwci":0.8155,"has_fulltext":false,"cited_by_count":15,"citation_normalized_percentile":{"value":0.79456511,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":99},"biblio":{"volume":null,"issue":null,"first_page":"812","last_page":"823"},"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.9994999766349792,"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.9994999766349792,"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/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/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9990000128746033,"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/scalability","display_name":"Scalability","score":0.8516056537628174},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8308848142623901},{"id":"https://openalex.org/keywords/leverage","display_name":"Leverage (statistics)","score":0.7191983461380005},{"id":"https://openalex.org/keywords/static-analysis","display_name":"Static analysis","score":0.7133386135101318},{"id":"https://openalex.org/keywords/benchmark","display_name":"Benchmark (surveying)","score":0.5778113007545471},{"id":"https://openalex.org/keywords/data-flow-analysis","display_name":"Data-flow analysis","score":0.512010395526886},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.49852705001831055},{"id":"https://openalex.org/keywords/extensional-definition","display_name":"Extensional definition","score":0.43563351035118103},{"id":"https://openalex.org/keywords/data-flow-diagram","display_name":"Data flow diagram","score":0.4000126123428345},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.3994293212890625},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.15376409888267517},{"id":"https://openalex.org/keywords/database","display_name":"Database","score":0.1464022994041443},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.13938558101654053}],"concepts":[{"id":"https://openalex.org/C48044578","wikidata":"https://www.wikidata.org/wiki/Q727490","display_name":"Scalability","level":2,"score":0.8516056537628174},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8308848142623901},{"id":"https://openalex.org/C153083717","wikidata":"https://www.wikidata.org/wiki/Q6535263","display_name":"Leverage (statistics)","level":2,"score":0.7191983461380005},{"id":"https://openalex.org/C97686452","wikidata":"https://www.wikidata.org/wiki/Q7604153","display_name":"Static analysis","level":2,"score":0.7133386135101318},{"id":"https://openalex.org/C185798385","wikidata":"https://www.wikidata.org/wiki/Q1161707","display_name":"Benchmark (surveying)","level":2,"score":0.5778113007545471},{"id":"https://openalex.org/C88468194","wikidata":"https://www.wikidata.org/wiki/Q1172416","display_name":"Data-flow analysis","level":3,"score":0.512010395526886},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.49852705001831055},{"id":"https://openalex.org/C136137745","wikidata":"https://www.wikidata.org/wiki/Q19515659","display_name":"Extensional definition","level":3,"score":0.43563351035118103},{"id":"https://openalex.org/C489000","wikidata":"https://www.wikidata.org/wiki/Q747385","display_name":"Data flow diagram","level":2,"score":0.4000126123428345},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.3994293212890625},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.15376409888267517},{"id":"https://openalex.org/C77088390","wikidata":"https://www.wikidata.org/wiki/Q8513","display_name":"Database","level":1,"score":0.1464022994041443},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.13938558101654053},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.0},{"id":"https://openalex.org/C13280743","wikidata":"https://www.wikidata.org/wiki/Q131089","display_name":"Geodesy","level":1,"score":0.0},{"id":"https://openalex.org/C205649164","wikidata":"https://www.wikidata.org/wiki/Q1071","display_name":"Geography","level":0,"score":0.0},{"id":"https://openalex.org/C77928131","wikidata":"https://www.wikidata.org/wiki/Q193343","display_name":"Tectonics","level":2,"score":0.0},{"id":"https://openalex.org/C151730666","wikidata":"https://www.wikidata.org/wiki/Q7205","display_name":"Paleontology","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}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1145/3377811.3380346","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3377811.3380346","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the ACM/IEEE 42nd International Conference on Software Engineering","raw_type":"proceedings-article"},{"id":"pmh:oai:repository.ust.hk:1783.1-104620","is_oa":false,"landing_page_url":"http://www.scopus.com/record/display.url?eid=2-s2.0-85094324193&origin=inward","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":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":50,"referenced_works":["https://openalex.org/W1480909796","https://openalex.org/W1494768888","https://openalex.org/W1567600461","https://openalex.org/W1603813317","https://openalex.org/W1614825945","https://openalex.org/W1630321466","https://openalex.org/W1966634194","https://openalex.org/W1966982815","https://openalex.org/W1968898611","https://openalex.org/W1982205631","https://openalex.org/W1991546210","https://openalex.org/W2003690673","https://openalex.org/W2008626182","https://openalex.org/W2044590882","https://openalex.org/W2064189713","https://openalex.org/W2064296229","https://openalex.org/W2072385532","https://openalex.org/W2080205938","https://openalex.org/W2080573945","https://openalex.org/W2082000355","https://openalex.org/W2091879780","https://openalex.org/W2094873755","https://openalex.org/W2101512909","https://openalex.org/W2103714221","https://openalex.org/W2122751766","https://openalex.org/W2140021378","https://openalex.org/W2140809377","https://openalex.org/W2142890871","https://openalex.org/W2151562310","https://openalex.org/W2158798798","https://openalex.org/W2160443552","https://openalex.org/W2164151624","https://openalex.org/W2166140339","https://openalex.org/W2166743230","https://openalex.org/W2171999426","https://openalex.org/W2290554725","https://openalex.org/W2297774820","https://openalex.org/W2507152228","https://openalex.org/W2547104021","https://openalex.org/W2784876765","https://openalex.org/W2794889478","https://openalex.org/W2798313665","https://openalex.org/W2799226481","https://openalex.org/W2954121408","https://openalex.org/W2995862418","https://openalex.org/W4238239668","https://openalex.org/W4240519264","https://openalex.org/W4244726870","https://openalex.org/W4245321046","https://openalex.org/W4247889999"],"related_works":["https://openalex.org/W2022689150","https://openalex.org/W59945861","https://openalex.org/W2527311635","https://openalex.org/W2151163382","https://openalex.org/W1551967076","https://openalex.org/W2930019028","https://openalex.org/W2545238856","https://openalex.org/W316163056","https://openalex.org/W1596119602","https://openalex.org/W2092972345"],"abstract_inverted_index":{"Modern":[0],"static":[1,39],"analyzers":[2],"often":[3],"need":[4],"to":[5,29,62,68,161],"simultaneously":[6],"check":[7],"a":[8],"few":[9],"dozen":[10],"or":[11],"even":[12],"hundreds":[13],"of":[14,44,119,138,153],"value-flow":[15,90],"properties,":[16],"causing":[17],"serious":[18],"scalability":[19],"issues":[20],"when":[21,73],"high":[22],"precision":[23],"is":[24,35,42,61,107,128],"required.":[25],"A":[26],"major":[27],"factor":[28],"this":[30],"deficiency,":[31],"as":[32],"we":[33],"observe,":[34],"that":[36,104],"the":[37,45,49,64,79,120,133,136],"core":[38],"analysis":[40,126],"engine":[41],"oblivious":[43],"mutual":[46],"synergy":[47],"among":[48],"properties":[50,75,91],"being":[51],"checked,":[52],"thus":[53],"inevitably":[54],"losing":[55],"many":[56,74],"optimization":[57],"opportunities.":[58],"Our":[59],"work":[60],"leverage":[63],"inter-property":[65],"awareness":[66],"and":[67,71,96,151],"capture":[69],"redundancies":[70],"inconsistencies":[72],"are":[76],"considered":[77],"at":[78,135],"same":[80],"time.":[81],"We":[82],"have":[83,146,155],"evaluated":[84],"our":[85,105,144],"approach":[86,106,145],"by":[87,131,143,149],"checking":[88],"twenty":[89],"in":[92,125],"standard":[93],"benchmark":[94],"programs":[95],"ten":[97],"real-world":[98],"software":[99],"systems.":[100],"The":[101],"results":[102],"demonstrate":[103],"more":[108],"than":[109,112],"8\u00d7":[110],"faster":[111],"existing":[113],"ones":[114],"but":[115],"consumes":[116],"only":[117],"1/7":[118],"memory.":[121],"Such":[122],"substantial":[123],"improvement":[124],"efficiency":[127],"not":[129],"achieved":[130],"sacrificing":[132],"effectiveness:":[134],"time":[137],"writing,":[139],"thirty-nine":[140],"bugs":[141],"found":[142],"been":[147,156],"fixed":[148],"developers":[150],"four":[152],"them":[154],"assigned":[157],"CVE":[158],"IDs":[159],"due":[160],"their":[162],"security":[163],"impact.":[164]},"counts_by_year":[{"year":2026,"cited_by_count":2},{"year":2025,"cited_by_count":3},{"year":2024,"cited_by_count":4},{"year":2023,"cited_by_count":2},{"year":2022,"cited_by_count":3},{"year":2021,"cited_by_count":1}],"updated_date":"2026-04-11T08:14:18.477133","created_date":"2025-10-10T00:00:00"}