{"id":"https://openalex.org/W4402457721","doi":"https://doi.org/10.1145/3650212.3652109","title":"Unimocg: Modular Call-Graph Algorithms for Consistent Handling of Language Features","display_name":"Unimocg: Modular Call-Graph Algorithms for Consistent Handling of Language Features","publication_year":2024,"publication_date":"2024-09-11","ids":{"openalex":"https://openalex.org/W4402457721","doi":"https://doi.org/10.1145/3650212.3652109"},"language":"en","primary_location":{"id":"doi:10.1145/3650212.3652109","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3650212.3652109","pdf_url":null,"source":null,"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 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"https://doi.org/10.1145/3650212.3652109","any_repository_has_fulltext":null},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5030100328","display_name":"Dominik Helm","orcid":"https://orcid.org/0009-0004-6425-8630"},"institutions":[{"id":"https://openalex.org/I31512782","display_name":"Technische Universit\u00e4t Darmstadt","ror":"https://ror.org/05n911h24","country_code":"DE","type":"education","lineage":["https://openalex.org/I31512782"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Dominik Helm","raw_affiliation_strings":["TU Darmstadt, Darmstadt, Germany / National Research Center for Applied Cybersecurity ATHENE, Darmstadt, Germany"],"raw_orcid":"https://orcid.org/0009-0004-6425-8630","affiliations":[{"raw_affiliation_string":"TU Darmstadt, Darmstadt, Germany / National Research Center for Applied Cybersecurity ATHENE, Darmstadt, Germany","institution_ids":["https://openalex.org/I31512782"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5086396255","display_name":"Tobias Roth","orcid":"https://orcid.org/0000-0001-6561-0430"},"institutions":[{"id":"https://openalex.org/I31512782","display_name":"Technische Universit\u00e4t Darmstadt","ror":"https://ror.org/05n911h24","country_code":"DE","type":"education","lineage":["https://openalex.org/I31512782"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Tobias Roth","raw_affiliation_strings":["TU Darmstadt, Darmstadt, Germany / National Research Center for Applied Cybersecurity ATHENE, Darmstadt, Germany"],"raw_orcid":"https://orcid.org/0000-0001-6561-0430","affiliations":[{"raw_affiliation_string":"TU Darmstadt, Darmstadt, Germany / National Research Center for Applied Cybersecurity ATHENE, Darmstadt, Germany","institution_ids":["https://openalex.org/I31512782"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5009838300","display_name":"Sven Keidel","orcid":"https://orcid.org/0000-0002-4278-2181"},"institutions":[{"id":"https://openalex.org/I31512782","display_name":"Technische Universit\u00e4t Darmstadt","ror":"https://ror.org/05n911h24","country_code":"DE","type":"education","lineage":["https://openalex.org/I31512782"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Sven Keidel","raw_affiliation_strings":["TU Darmstadt, Darmstadt, Germany"],"raw_orcid":"https://orcid.org/0000-0002-4278-2181","affiliations":[{"raw_affiliation_string":"TU Darmstadt, Darmstadt, Germany","institution_ids":["https://openalex.org/I31512782"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5002805499","display_name":"Michael Reif","orcid":"https://orcid.org/0000-0002-7561-5750"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Michael Reif","raw_affiliation_strings":["CQSE GmbH, Darmstadt, Germany"],"raw_orcid":"https://orcid.org/0000-0002-7561-5750","affiliations":[{"raw_affiliation_string":"CQSE GmbH, Darmstadt, Germany","institution_ids":[]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5078067853","display_name":"Mira Mezini","orcid":"https://orcid.org/0000-0001-6563-7537"},"institutions":[{"id":"https://openalex.org/I31512782","display_name":"Technische Universit\u00e4t Darmstadt","ror":"https://ror.org/05n911h24","country_code":"DE","type":"education","lineage":["https://openalex.org/I31512782"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Mira Mezini","raw_affiliation_strings":["TU Darmstadt, Darmstadt, Germany / hessian.AI, Darmstadt, Germany / National Research Center for Applied Cybersecurity ATHENE, Darmstadt, Germany"],"raw_orcid":"https://orcid.org/0000-0001-6563-7537","affiliations":[{"raw_affiliation_string":"TU Darmstadt, Darmstadt, Germany / hessian.AI, Darmstadt, Germany / National Research Center for Applied Cybersecurity ATHENE, Darmstadt, Germany","institution_ids":["https://openalex.org/I31512782"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.12924193,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"51","last_page":"62"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10126","display_name":"Logic, programming, and type systems","score":0.9986000061035156,"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/T10126","display_name":"Logic, programming, and type systems","score":0.9986000061035156,"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/T10639","display_name":"Advanced Software Engineering Methodologies","score":0.9970999956130981,"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/T11450","display_name":"Model-Driven Software Engineering Techniques","score":0.9970999956130981,"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.7630963921546936},{"id":"https://openalex.org/keywords/modular-design","display_name":"Modular design","score":0.6933856010437012},{"id":"https://openalex.org/keywords/call-graph","display_name":"Call graph","score":0.5638604164123535},{"id":"https://openalex.org/keywords/graph","display_name":"Graph","score":0.43906164169311523},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.43452996015548706},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.42929548025131226},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.34547653794288635}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7630963921546936},{"id":"https://openalex.org/C101468663","wikidata":"https://www.wikidata.org/wiki/Q1620158","display_name":"Modular design","level":2,"score":0.6933856010437012},{"id":"https://openalex.org/C102379954","wikidata":"https://www.wikidata.org/wiki/Q2589940","display_name":"Call graph","level":2,"score":0.5638604164123535},{"id":"https://openalex.org/C132525143","wikidata":"https://www.wikidata.org/wiki/Q141488","display_name":"Graph","level":2,"score":0.43906164169311523},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.43452996015548706},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.42929548025131226},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.34547653794288635}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1145/3650212.3652109","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3650212.3652109","pdf_url":null,"source":null,"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 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis","raw_type":"proceedings-article"},{"id":"pmh:oai:tubiblio.ulb.tu-darmstadt.de:149917","is_oa":false,"landing_page_url":"http://tubiblio.ulb.tu-darmstadt.de/view/person/Helm=3ADominik=3A=3A.html>","pdf_url":null,"source":{"id":"https://openalex.org/S4377196390","display_name":"TUbilio (Technical University of Darmstadt)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I31512782","host_organization_name":"Technische Universit\u00e4t Darmstadt","host_organization_lineage":["https://openalex.org/I31512782"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"acceptedVersion","is_accepted":true,"is_published":false,"raw_source_name":null,"raw_type":"Konferenzver\u00f6ffentlichung"}],"best_oa_location":{"id":"doi:10.1145/3650212.3652109","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3650212.3652109","pdf_url":null,"source":null,"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 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis","raw_type":"proceedings-article"},"sustainable_development_goals":[{"score":0.550000011920929,"id":"https://metadata.un.org/sdg/4","display_name":"Quality Education"}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":27,"referenced_works":["https://openalex.org/W1536098516","https://openalex.org/W1557543533","https://openalex.org/W1649645444","https://openalex.org/W1974608873","https://openalex.org/W2000194923","https://openalex.org/W2051600169","https://openalex.org/W2086014732","https://openalex.org/W2117426803","https://openalex.org/W2133824159","https://openalex.org/W2167363133","https://openalex.org/W2171240827","https://openalex.org/W2617348763","https://openalex.org/W2757983416","https://openalex.org/W2876719183","https://openalex.org/W2897025578","https://openalex.org/W2909110209","https://openalex.org/W2909327301","https://openalex.org/W2959352824","https://openalex.org/W3033656968","https://openalex.org/W3089825636","https://openalex.org/W3099954734","https://openalex.org/W3109458504","https://openalex.org/W3173320755","https://openalex.org/W4210741360","https://openalex.org/W4247889999","https://openalex.org/W4250199140","https://openalex.org/W4251478049"],"related_works":["https://openalex.org/W2378076731","https://openalex.org/W4286888643","https://openalex.org/W3210795196","https://openalex.org/W2088988140","https://openalex.org/W1959797194","https://openalex.org/W2103019253","https://openalex.org/W2951529875","https://openalex.org/W2391453316","https://openalex.org/W2297768894","https://openalex.org/W1988064119"],"abstract_inverted_index":{"Traditional":[0],"call-graph":[1,61,86,107,125,138,154],"construction":[2,62,126],"algorithms":[3,87,139,155,168],"conflate":[4],"the":[5,12,52,65,101,105,124],"computation":[6,66],"of":[7,15,41,67,84,137],"possible":[8],"runtime":[9],"types":[10],"with":[11,88,109,140],"actual":[13],"resolution":[14],"(virtual)":[16],"calls.":[17,72],"This":[18],"tangled":[19],"design":[20],"impedes":[21,39],"supporting":[22],"complex":[23],"language":[24,94],"features":[25],"and":[26,28,35,144,165],"APIs":[27],"making":[29],"systematic":[30],"trade-offs":[31,146],"between":[32],"precision,":[33,142],"soundness,":[34,143],"scalability.":[36],"It":[37],"also":[38,178],"implementation":[40],"precise":[42],"downstream":[43],"analyses":[44,117],"that":[45,63],"rely":[46],"on":[47],"type":[48,68,121],"information.":[49],"To":[50],"address":[51],"problem,":[53],"we":[54],"propose":[55],"Unimocg,":[56],"a":[57,81,135],"modular":[58,76],"architecture":[59],"for":[60],"decouples":[64],"information":[69,122],"from":[70,123,147,156],"resolving":[71],"Due":[73],"to":[74,91,118],"its":[75],"design,":[77],"Unimocg":[78,114,133,150],"can":[79],"combine":[80],"wide":[82],"range":[83],"different":[85,141,158],"algorithm-agnostic":[89],"modules":[90,98],"support":[92],"individual":[93],"features.":[95],"Moreover,":[96],"these":[97],"operate":[99],"at":[100,127],"same":[102],"precision":[103,174],"as":[104,161],"chosen":[106],"algorithm":[108],"no":[110],"further":[111],"effort.":[112],"Additionally,":[113],"allows":[115],"other":[116],"easily":[119],"reuse":[120],"full":[128],"precision.":[129],"We":[130,177],"demonstrate":[131],"how":[132,180],"enables":[134],"framework":[136],"scalability":[145],"reusable":[148],"modules.":[149],"currently":[151],"supports":[152],"ten":[153],"vastly":[157],"families,":[159],"such":[160],"CHA,":[162],"RTA,":[163],"XTA,":[164],"k-l-CFA.":[166],"These":[167],"show":[169,179],"consistent":[170],"soundness":[171],"without":[172],"sacrificing":[173],"or":[175],"performance.":[176],"an":[181],"immutability":[182],"analysis":[183],"is":[184],"improved":[185],"using":[186],"Unimocg.":[187]},"counts_by_year":[],"updated_date":"2026-07-02T09:51:11.867554","created_date":"2025-10-10T00:00:00"}