{"id":"https://openalex.org/W4392265980","doi":"https://doi.org/10.1109/cgo57630.2024.10444884","title":"Boosting the Performance of Multi-Solver IFDS Algorithms with Flow-Sensitivity Optimizations","display_name":"Boosting the Performance of Multi-Solver IFDS Algorithms with Flow-Sensitivity Optimizations","publication_year":2024,"publication_date":"2024-02-28","ids":{"openalex":"https://openalex.org/W4392265980","doi":"https://doi.org/10.1109/cgo57630.2024.10444884"},"language":"en","primary_location":{"id":"doi:10.1109/cgo57630.2024.10444884","is_oa":false,"landing_page_url":"https://doi.org/10.1109/cgo57630.2024.10444884","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2024 IEEE/ACM International Symposium on Code Generation and Optimization (CGO)","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/A5055127933","display_name":"Haofeng Li","orcid":"https://orcid.org/0009-0008-0931-8767"},"institutions":[{"id":"https://openalex.org/I4210090176","display_name":"Institute of Computing Technology","ror":"https://ror.org/0090r4d87","country_code":"CN","type":"facility","lineage":["https://openalex.org/I19820366","https://openalex.org/I4210090176"]}],"countries":["CN"],"is_corresponding":true,"raw_author_name":"Haofeng Li","raw_affiliation_strings":["SKLP, Institute of Computing Technology, CAS,China","SKLP, Institute of Computing Technology, CAS, China"],"affiliations":[{"raw_affiliation_string":"SKLP, Institute of Computing Technology, CAS,China","institution_ids":["https://openalex.org/I4210090176"]},{"raw_affiliation_string":"SKLP, Institute of Computing Technology, CAS, China","institution_ids":["https://openalex.org/I4210090176"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5068388413","display_name":"Jie Lu","orcid":"https://orcid.org/0000-0002-4162-0404"},"institutions":[{"id":"https://openalex.org/I4210090176","display_name":"Institute of Computing Technology","ror":"https://ror.org/0090r4d87","country_code":"CN","type":"facility","lineage":["https://openalex.org/I19820366","https://openalex.org/I4210090176"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Jie Lu","raw_affiliation_strings":["SKLP, Institute of Computing Technology, CAS,China","SKLP, Institute of Computing Technology, CAS, China"],"affiliations":[{"raw_affiliation_string":"SKLP, Institute of Computing Technology, CAS,China","institution_ids":["https://openalex.org/I4210090176"]},{"raw_affiliation_string":"SKLP, Institute of Computing Technology, CAS, China","institution_ids":["https://openalex.org/I4210090176"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5053594943","display_name":"Haining Meng","orcid":"https://orcid.org/0009-0008-7149-7671"},"institutions":[{"id":"https://openalex.org/I4210165038","display_name":"University of Chinese Academy of Sciences","ror":"https://ror.org/05qbk4x57","country_code":"CN","type":"education","lineage":["https://openalex.org/I19820366","https://openalex.org/I4210165038"]},{"id":"https://openalex.org/I4210090176","display_name":"Institute of Computing Technology","ror":"https://ror.org/0090r4d87","country_code":"CN","type":"facility","lineage":["https://openalex.org/I19820366","https://openalex.org/I4210090176"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Haining Meng","raw_affiliation_strings":["SKLP, Institute of Computing Technology, CAS,China","SKLP, Institute of Computing Technology, CAS, China","University of Chinese Academy of Sciences, China"],"affiliations":[{"raw_affiliation_string":"SKLP, Institute of Computing Technology, CAS,China","institution_ids":["https://openalex.org/I4210090176"]},{"raw_affiliation_string":"SKLP, Institute of Computing Technology, CAS, China","institution_ids":["https://openalex.org/I4210090176"]},{"raw_affiliation_string":"University of Chinese Academy of Sciences, China","institution_ids":["https://openalex.org/I4210165038"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5026208461","display_name":"Liqing Cao","orcid":null},"institutions":[{"id":"https://openalex.org/I4210090176","display_name":"Institute of Computing Technology","ror":"https://ror.org/0090r4d87","country_code":"CN","type":"facility","lineage":["https://openalex.org/I19820366","https://openalex.org/I4210090176"]},{"id":"https://openalex.org/I4210165038","display_name":"University of Chinese Academy of Sciences","ror":"https://ror.org/05qbk4x57","country_code":"CN","type":"education","lineage":["https://openalex.org/I19820366","https://openalex.org/I4210165038"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Liqing Cao","raw_affiliation_strings":["SKLP, Institute of Computing Technology, CAS,China","SKLP, Institute of Computing Technology, CAS, China","University of Chinese Academy of Sciences, China"],"affiliations":[{"raw_affiliation_string":"SKLP, Institute of Computing Technology, CAS,China","institution_ids":["https://openalex.org/I4210090176"]},{"raw_affiliation_string":"SKLP, Institute of Computing Technology, CAS, China","institution_ids":["https://openalex.org/I4210090176"]},{"raw_affiliation_string":"University of Chinese Academy of Sciences, China","institution_ids":["https://openalex.org/I4210165038"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5100317802","display_name":"Lian Li","orcid":"https://orcid.org/0000-0002-4476-0541"},"institutions":[{"id":"https://openalex.org/I4210165038","display_name":"University of Chinese Academy of Sciences","ror":"https://ror.org/05qbk4x57","country_code":"CN","type":"education","lineage":["https://openalex.org/I19820366","https://openalex.org/I4210165038"]},{"id":"https://openalex.org/I4210090176","display_name":"Institute of Computing Technology","ror":"https://ror.org/0090r4d87","country_code":"CN","type":"facility","lineage":["https://openalex.org/I19820366","https://openalex.org/I4210090176"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Lian Li","raw_affiliation_strings":["SKLP, Institute of Computing Technology, CAS,China","SKLP, Institute of Computing Technology, CAS, China","University of Chinese Academy of Sciences, China","Zhongguancun Laboratory, China"],"affiliations":[{"raw_affiliation_string":"SKLP, Institute of Computing Technology, CAS,China","institution_ids":["https://openalex.org/I4210090176"]},{"raw_affiliation_string":"SKLP, Institute of Computing Technology, CAS, China","institution_ids":["https://openalex.org/I4210090176"]},{"raw_affiliation_string":"University of Chinese Academy of Sciences, China","institution_ids":["https://openalex.org/I4210165038"]},{"raw_affiliation_string":"Zhongguancun Laboratory, China","institution_ids":[]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5083753621","display_name":"Lin Gao","orcid":"https://orcid.org/0000-0002-1781-4671"},"institutions":[{"id":"https://openalex.org/I4210134421","display_name":"INTRASOFT International (Luxembourg)","ror":"https://ror.org/02zn9x324","country_code":"LU","type":"company","lineage":["https://openalex.org/I4210134421","https://openalex.org/I86100027"]}],"countries":["LU"],"is_corresponding":false,"raw_author_name":"Lin Gao","raw_affiliation_strings":["TianqiSoft Inc,China","TianqiSoft Inc, China"],"affiliations":[{"raw_affiliation_string":"TianqiSoft Inc,China","institution_ids":["https://openalex.org/I4210134421"]},{"raw_affiliation_string":"TianqiSoft Inc, China","institution_ids":[]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":6,"corresponding_author_ids":["https://openalex.org/A5055127933"],"corresponding_institution_ids":["https://openalex.org/I4210090176"],"apc_list":null,"apc_paid":null,"fwci":1.8752,"has_fulltext":false,"cited_by_count":5,"citation_normalized_percentile":{"value":0.84837777,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":95,"max":97},"biblio":{"volume":null,"issue":null,"first_page":"296","last_page":"307"},"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.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/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9977999925613403,"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/soundness","display_name":"Soundness","score":0.8276076912879944},{"id":"https://openalex.org/keywords/solver","display_name":"Solver","score":0.7321656942367554},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7291537523269653},{"id":"https://openalex.org/keywords/scalability","display_name":"Scalability","score":0.5654086470603943},{"id":"https://openalex.org/keywords/sensitivity","display_name":"Sensitivity (control systems)","score":0.4272165596485138},{"id":"https://openalex.org/keywords/data-flow-analysis","display_name":"Data-flow analysis","score":0.4240262508392334},{"id":"https://openalex.org/keywords/boosting","display_name":"Boosting (machine learning)","score":0.4117436408996582},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.3688511848449707},{"id":"https://openalex.org/keywords/parallel-computing","display_name":"Parallel computing","score":0.36262816190719604},{"id":"https://openalex.org/keywords/computational-science","display_name":"Computational science","score":0.3308849334716797},{"id":"https://openalex.org/keywords/data-flow-diagram","display_name":"Data flow diagram","score":0.276082843542099},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.16270729899406433},{"id":"https://openalex.org/keywords/database","display_name":"Database","score":0.12153220176696777},{"id":"https://openalex.org/keywords/machine-learning","display_name":"Machine learning","score":0.10910651087760925},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.09388062357902527}],"concepts":[{"id":"https://openalex.org/C39920170","wikidata":"https://www.wikidata.org/wiki/Q693083","display_name":"Soundness","level":2,"score":0.8276076912879944},{"id":"https://openalex.org/C2778770139","wikidata":"https://www.wikidata.org/wiki/Q1966904","display_name":"Solver","level":2,"score":0.7321656942367554},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7291537523269653},{"id":"https://openalex.org/C48044578","wikidata":"https://www.wikidata.org/wiki/Q727490","display_name":"Scalability","level":2,"score":0.5654086470603943},{"id":"https://openalex.org/C21200559","wikidata":"https://www.wikidata.org/wiki/Q7451068","display_name":"Sensitivity (control systems)","level":2,"score":0.4272165596485138},{"id":"https://openalex.org/C88468194","wikidata":"https://www.wikidata.org/wiki/Q1172416","display_name":"Data-flow analysis","level":3,"score":0.4240262508392334},{"id":"https://openalex.org/C46686674","wikidata":"https://www.wikidata.org/wiki/Q466303","display_name":"Boosting (machine learning)","level":2,"score":0.4117436408996582},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.3688511848449707},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.36262816190719604},{"id":"https://openalex.org/C459310","wikidata":"https://www.wikidata.org/wiki/Q117801","display_name":"Computational science","level":1,"score":0.3308849334716797},{"id":"https://openalex.org/C489000","wikidata":"https://www.wikidata.org/wiki/Q747385","display_name":"Data flow diagram","level":2,"score":0.276082843542099},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.16270729899406433},{"id":"https://openalex.org/C77088390","wikidata":"https://www.wikidata.org/wiki/Q8513","display_name":"Database","level":1,"score":0.12153220176696777},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.10910651087760925},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.09388062357902527},{"id":"https://openalex.org/C24326235","wikidata":"https://www.wikidata.org/wiki/Q126095","display_name":"Electronic engineering","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/cgo57630.2024.10444884","is_oa":false,"landing_page_url":"https://doi.org/10.1109/cgo57630.2024.10444884","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2024 IEEE/ACM International Symposium on Code Generation and Optimization (CGO)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":37,"referenced_works":["https://openalex.org/W1846157972","https://openalex.org/W2017025011","https://openalex.org/W2017722158","https://openalex.org/W2027538101","https://openalex.org/W2036157748","https://openalex.org/W2080573945","https://openalex.org/W2105285801","https://openalex.org/W2106972913","https://openalex.org/W2113115074","https://openalex.org/W2134646643","https://openalex.org/W2140495200","https://openalex.org/W2149222015","https://openalex.org/W2160563691","https://openalex.org/W2166743230","https://openalex.org/W2247002685","https://openalex.org/W2377819450","https://openalex.org/W2542317943","https://openalex.org/W2551805335","https://openalex.org/W2553375745","https://openalex.org/W2761352457","https://openalex.org/W2796301966","https://openalex.org/W2884262171","https://openalex.org/W2930019028","https://openalex.org/W2999781594","https://openalex.org/W3000614974","https://openalex.org/W3003698748","https://openalex.org/W3102504333","https://openalex.org/W3138349232","https://openalex.org/W3161833674","https://openalex.org/W4239799938","https://openalex.org/W4240951837","https://openalex.org/W4245027182","https://openalex.org/W6640203312","https://openalex.org/W6729159814","https://openalex.org/W6729771544","https://openalex.org/W6754302325","https://openalex.org/W6772285871"],"related_works":["https://openalex.org/W1604758548","https://openalex.org/W2804126825","https://openalex.org/W1549048322","https://openalex.org/W4367553810","https://openalex.org/W2104142636","https://openalex.org/W2731831065","https://openalex.org/W4283162424","https://openalex.org/W2271439649","https://openalex.org/W2011940952","https://openalex.org/W2144429051"],"abstract_inverted_index":{"The":[0],"IFDS":[1,27,33,44,147],"(Inter-procedural,":[2],"Finite,":[3],"Distributive,":[4],"Subset)":[5],"algorithms":[6],"are":[7,23],"popularly":[8],"used":[9],"to":[10,35,49,58,76,84,105,165,174],"solve":[11,59],"a":[12,102,122],"wide":[13],"range":[14],"of":[15,71,109],"analysis":[16,41,125,149],"problems.":[17],"In":[18,97],"particular,":[19],"many":[20],"interesting":[21],"problems":[22,28],"formulated":[24],"as":[25,89],"multi-solver":[26,146],"which":[29],"expect":[30],"multiple":[31],"interleaved":[32],"solvers":[34],"work":[36],"together.":[37],"For":[38,66],"instance,":[39],"taint":[40,124,148],"requires":[42],"two":[43],"solvers,":[45],"one":[46,55],"forward":[47],"solver":[48,57],"propagate":[50],"tainted":[51],"data-flow":[52,73,112],"facts,":[53],"and":[54,87,94,117,128,154,167],"backward":[56],"alias":[60],"relations":[61],"at":[62],"the":[63,107,156],"same":[64],"time.":[65],"such":[67],"problems,":[68],"large":[69],"amount":[70],"additional":[72,111],"facts":[74,113],"need":[75],"be":[77],"introduced":[78,110],"for":[79],"flow-sensitivity.":[80],"This":[81],"often":[82],"leads":[83],"poor":[85],"performance":[86,159],"scalability,":[88],"evident":[90],"in":[91],"our":[92],"experiments":[93],"previous":[95],"work.":[96],"this":[98],"paper,":[99],"we":[100],"propose":[101],"novel":[103],"approach":[104],"reduce":[106],"number":[108],"while":[114],"preserving":[115],"flow-sensitivity":[116],"soundness.":[118],"We":[119],"have":[120],"developed":[121],"new":[123],"tool,":[126],"SADROID,":[127],"evaluated":[129],"it":[130],"on":[131],"1,228":[132],"open-source":[133],"Android":[134],"APPs.":[135],"Evaluation":[136],"results":[137],"show":[138],"that":[139],"SADROID":[140],"significantly":[141],"outperforms":[142],"FLowDROID":[143],"(the":[144],"state-of-the-art":[145],"tool)":[150],"without":[151],"affecting":[152],"precision":[153],"soundness:":[155],"run":[157],"time":[158],"is":[160,170],"sped":[161],"up":[162,164,173],"by":[163,172],"17.89X":[166],"memory":[168],"usage":[169],"optimized":[171],"9X.":[175]},"counts_by_year":[{"year":2025,"cited_by_count":2},{"year":2024,"cited_by_count":3}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}