{"id":"https://openalex.org/W7161473512","doi":"https://doi.org/10.1007/978-3-032-26220-2_22","title":"Mixed Flow-Sensitive Static Analysis: Engineering Modularity","display_name":"Mixed Flow-Sensitive Static Analysis: Engineering Modularity","publication_year":2026,"publication_date":"2026-01-01","ids":{"openalex":"https://openalex.org/W7161473512","doi":"https://doi.org/10.1007/978-3-032-26220-2_22"},"language":"en","primary_location":{"id":"doi:10.1007/978-3-032-26220-2_22","is_oa":true,"landing_page_url":"https://doi.org/10.1007/978-3-032-26220-2_22","pdf_url":"https://link.springer.com/content/pdf/10.1007/978-3-032-26220-2_22.pdf","source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"book series"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"},"type":"conference-paper","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"hybrid","oa_url":"https://link.springer.com/content/pdf/10.1007/978-3-032-26220-2_22.pdf","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5136346008","display_name":"Helmut Seidl","orcid":"https://orcid.org/0000-0002-2135-1593"},"institutions":[{"id":"https://openalex.org/I62916508","display_name":"Technical University of Munich","ror":"https://ror.org/02kkvpp62","country_code":"DE","type":"education","lineage":["https://openalex.org/I62916508"]}],"countries":["DE"],"is_corresponding":true,"raw_author_name":"Helmut Seidl","raw_affiliation_strings":["Technical University of Munich, Garching, Germany"],"raw_orcid":"https://orcid.org/0000-0002-2135-1593","affiliations":[{"raw_affiliation_string":"Technical University of Munich, Garching, Germany","institution_ids":["https://openalex.org/I62916508"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5034095003","display_name":"Vesal Vojdani","orcid":"https://orcid.org/0000-0003-4336-7980"},"institutions":[{"id":"https://openalex.org/I56085075","display_name":"University of Tartu","ror":"https://ror.org/03z77qz90","country_code":"EE","type":"education","lineage":["https://openalex.org/I56085075"]}],"countries":["EE"],"is_corresponding":false,"raw_author_name":"Vesal Vojdani","raw_affiliation_strings":["University of Tartu, Tartu, Estonia"],"raw_orcid":"https://orcid.org/0000-0003-4336-7980","affiliations":[{"raw_affiliation_string":"University of Tartu, Tartu, Estonia","institution_ids":["https://openalex.org/I56085075"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5076807398","display_name":"Julian Erhard","orcid":"https://orcid.org/0000-0002-1729-3925"},"institutions":[{"id":"https://openalex.org/I4210128801","display_name":"Helmholtz Center for Information Security","ror":"https://ror.org/02njgxr09","country_code":"DE","type":"facility","lineage":["https://openalex.org/I1305996414","https://openalex.org/I4210128801"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Julian Erhard","raw_affiliation_strings":["CISPA Helmholtz Center for Information Security, Garching, Germany"],"raw_orcid":"https://orcid.org/0000-0002-1729-3925","affiliations":[{"raw_affiliation_string":"CISPA Helmholtz Center for Information Security, Garching, Germany","institution_ids":["https://openalex.org/I4210128801"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5122554093","display_name":"Michael Schwarz","orcid":null},"institutions":[{"id":"https://openalex.org/I165932596","display_name":"National University of Singapore","ror":"https://ror.org/01tgyzw49","country_code":"SG","type":"education","lineage":["https://openalex.org/I165932596"]}],"countries":["SG"],"is_corresponding":false,"raw_author_name":"Michael Schwarz","raw_affiliation_strings":["National University of Singapore, Singapore, Singapore"],"raw_orcid":"https://orcid.org/0000-0002-9828-0308","affiliations":[{"raw_affiliation_string":"National University of Singapore, Singapore, Singapore","institution_ids":["https://openalex.org/I165932596"]}]}],"institutions":[],"countries_distinct_count":3,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5136346008"],"corresponding_institution_ids":["https://openalex.org/I62916508"],"apc_list":{"value":5000,"currency":"EUR","value_usd":5392},"apc_paid":{"value":5000,"currency":"EUR","value_usd":5392},"fwci":0.0,"has_fulltext":true,"cited_by_count":0,"citation_normalized_percentile":{"value":0.52479415,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"446","last_page":"470"},"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.862500011920929,"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.862500011920929,"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/T10142","display_name":"Formal Methods in Verification","score":0.04989999905228615,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"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.02669999934732914,"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/static-analysis","display_name":"Static analysis","score":0.6132000088691711},{"id":"https://openalex.org/keywords/abstract-interpretation","display_name":"Abstract interpretation","score":0.5981000065803528},{"id":"https://openalex.org/keywords/program-analysis","display_name":"Program analysis","score":0.5638999938964844},{"id":"https://openalex.org/keywords/pointer","display_name":"Pointer (user interface)","score":0.49720001220703125},{"id":"https://openalex.org/keywords/control-flow","display_name":"Control flow","score":0.45969998836517334},{"id":"https://openalex.org/keywords/modularity","display_name":"Modularity (biology)","score":0.45879998803138733},{"id":"https://openalex.org/keywords/solver","display_name":"Solver","score":0.45489999651908875},{"id":"https://openalex.org/keywords/control-flow-analysis","display_name":"Control flow analysis","score":0.4481000006198883},{"id":"https://openalex.org/keywords/pointer-analysis","display_name":"Pointer analysis","score":0.4377000033855438},{"id":"https://openalex.org/keywords/satisfiability-modulo-theories","display_name":"Satisfiability modulo theories","score":0.4287000000476837}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.885699987411499},{"id":"https://openalex.org/C97686452","wikidata":"https://www.wikidata.org/wiki/Q7604153","display_name":"Static analysis","level":2,"score":0.6132000088691711},{"id":"https://openalex.org/C2780654840","wikidata":"https://www.wikidata.org/wiki/Q333341","display_name":"Abstract interpretation","level":2,"score":0.5981000065803528},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.5769000053405762},{"id":"https://openalex.org/C98183937","wikidata":"https://www.wikidata.org/wiki/Q2112188","display_name":"Program analysis","level":2,"score":0.5638999938964844},{"id":"https://openalex.org/C150202949","wikidata":"https://www.wikidata.org/wiki/Q107602","display_name":"Pointer (user interface)","level":2,"score":0.49720001220703125},{"id":"https://openalex.org/C160191386","wikidata":"https://www.wikidata.org/wiki/Q868299","display_name":"Control flow","level":2,"score":0.45969998836517334},{"id":"https://openalex.org/C2779478453","wikidata":"https://www.wikidata.org/wiki/Q6889748","display_name":"Modularity (biology)","level":2,"score":0.45879998803138733},{"id":"https://openalex.org/C2778770139","wikidata":"https://www.wikidata.org/wiki/Q1966904","display_name":"Solver","level":2,"score":0.45489999651908875},{"id":"https://openalex.org/C176359209","wikidata":"https://www.wikidata.org/wiki/Q2348963","display_name":"Control flow analysis","level":5,"score":0.4481000006198883},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.439300000667572},{"id":"https://openalex.org/C7263679","wikidata":"https://www.wikidata.org/wiki/Q5978076","display_name":"Pointer analysis","level":3,"score":0.4377000033855438},{"id":"https://openalex.org/C164155591","wikidata":"https://www.wikidata.org/wiki/Q2067766","display_name":"Satisfiability modulo theories","level":2,"score":0.4287000000476837},{"id":"https://openalex.org/C137287247","wikidata":"https://www.wikidata.org/wiki/Q1329550","display_name":"Static program analysis","level":4,"score":0.4277999997138977},{"id":"https://openalex.org/C43126263","wikidata":"https://www.wikidata.org/wiki/Q128751","display_name":"Source code","level":2,"score":0.41679999232292175},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.39259999990463257},{"id":"https://openalex.org/C207850805","wikidata":"https://www.wikidata.org/wiki/Q269608","display_name":"Reverse engineering","level":2,"score":0.38359999656677246},{"id":"https://openalex.org/C27390822","wikidata":"https://www.wikidata.org/wiki/Q320724","display_name":"Dependence analysis","level":2,"score":0.3758000135421753},{"id":"https://openalex.org/C2776760102","wikidata":"https://www.wikidata.org/wiki/Q5139990","display_name":"Code (set theory)","level":3,"score":0.3634999990463257},{"id":"https://openalex.org/C145428669","wikidata":"https://www.wikidata.org/wiki/Q471748","display_name":"Exception handling","level":2,"score":0.35350000858306885},{"id":"https://openalex.org/C205606062","wikidata":"https://www.wikidata.org/wiki/Q5249645","display_name":"Decoupling (probability)","level":2,"score":0.3497999906539917},{"id":"https://openalex.org/C122783720","wikidata":"https://www.wikidata.org/wiki/Q183065","display_name":"Interpreter","level":2,"score":0.3427000045776367},{"id":"https://openalex.org/C2779639559","wikidata":"https://www.wikidata.org/wiki/Q7661178","display_name":"Symbolic execution","level":3,"score":0.32350000739097595},{"id":"https://openalex.org/C2779818221","wikidata":"https://www.wikidata.org/wiki/Q837330","display_name":"Bytecode","level":3,"score":0.3084000051021576},{"id":"https://openalex.org/C42383842","wikidata":"https://www.wikidata.org/wiki/Q193076","display_name":"Functional programming","level":2,"score":0.30809998512268066},{"id":"https://openalex.org/C133162039","wikidata":"https://www.wikidata.org/wiki/Q1061077","display_name":"Code generation","level":3,"score":0.296999990940094},{"id":"https://openalex.org/C91071405","wikidata":"https://www.wikidata.org/wiki/Q1413145","display_name":"Program slicing","level":3,"score":0.29600000381469727},{"id":"https://openalex.org/C88468194","wikidata":"https://www.wikidata.org/wiki/Q1172416","display_name":"Data-flow analysis","level":3,"score":0.28850001096725464},{"id":"https://openalex.org/C2778361913","wikidata":"https://www.wikidata.org/wiki/Q7248437","display_name":"Program transformation","level":2,"score":0.2849999964237213},{"id":"https://openalex.org/C47434764","wikidata":"https://www.wikidata.org/wiki/Q1770035","display_name":"Dead code","level":5,"score":0.2831000089645386},{"id":"https://openalex.org/C2776036281","wikidata":"https://www.wikidata.org/wiki/Q48769818","display_name":"Constraint (computer-aided design)","level":2,"score":0.28049999475479126},{"id":"https://openalex.org/C2988963302","wikidata":"https://www.wikidata.org/wiki/Q629206","display_name":"Program code","level":2,"score":0.26989999413490295},{"id":"https://openalex.org/C139571649","wikidata":"https://www.wikidata.org/wiki/Q1156793","display_name":"Program optimization","level":3,"score":0.26170000433921814}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1007/978-3-032-26220-2_22","is_oa":true,"landing_page_url":"https://doi.org/10.1007/978-3-032-26220-2_22","pdf_url":"https://link.springer.com/content/pdf/10.1007/978-3-032-26220-2_22.pdf","source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"book series"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"}],"best_oa_location":{"id":"doi:10.1007/978-3-032-26220-2_22","is_oa":true,"landing_page_url":"https://doi.org/10.1007/978-3-032-26220-2_22","pdf_url":"https://link.springer.com/content/pdf/10.1007/978-3-032-26220-2_22.pdf","source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"book series"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G3915529232","display_name":"Explainable Verification","funder_award_id":"PRG2764","funder_id":"https://openalex.org/F4320321090","funder_display_name":"Eesti Teadusagentuur"}],"funders":[{"id":"https://openalex.org/F4320321090","display_name":"Eesti Teadusagentuur","ror":"https://ror.org/00jjeja18"}],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W7161473512.pdf","grobid_xml":"https://content.openalex.org/works/W7161473512.grobid-xml"},"referenced_works_count":68,"referenced_works":["https://openalex.org/W111121138","https://openalex.org/W158711440","https://openalex.org/W175092372","https://openalex.org/W1527581944","https://openalex.org/W1530299232","https://openalex.org/W1546878666","https://openalex.org/W1568478782","https://openalex.org/W1575354960","https://openalex.org/W1611084195","https://openalex.org/W1667615663","https://openalex.org/W1972085995","https://openalex.org/W1990621394","https://openalex.org/W2013885073","https://openalex.org/W2014359987","https://openalex.org/W2014764321","https://openalex.org/W2025577256","https://openalex.org/W2028883038","https://openalex.org/W2043100293","https://openalex.org/W2044870852","https://openalex.org/W2084875723","https://openalex.org/W2116325485","https://openalex.org/W2142044962","https://openalex.org/W2153716894","https://openalex.org/W2154713600","https://openalex.org/W2246217019","https://openalex.org/W2491928626","https://openalex.org/W2508576555","https://openalex.org/W2547862110","https://openalex.org/W2569221827","https://openalex.org/W2596962460","https://openalex.org/W2771629016","https://openalex.org/W2886900155","https://openalex.org/W2891057055","https://openalex.org/W2895693874","https://openalex.org/W2897215198","https://openalex.org/W2906718832","https://openalex.org/W2910528856","https://openalex.org/W2962786015","https://openalex.org/W3006146940","https://openalex.org/W3011243682","https://openalex.org/W3099954734","https://openalex.org/W3185902186","https://openalex.org/W3186878187","https://openalex.org/W3205454894","https://openalex.org/W3209360353","https://openalex.org/W4210555564","https://openalex.org/W4210741360","https://openalex.org/W4230059447","https://openalex.org/W4231261337","https://openalex.org/W4241352414","https://openalex.org/W4247889999","https://openalex.org/W4308643004","https://openalex.org/W4366077049","https://openalex.org/W4385197662","https://openalex.org/W4385223399","https://openalex.org/W4387674224","https://openalex.org/W4393955114","https://openalex.org/W4393955141","https://openalex.org/W4400668850","https://openalex.org/W4401921650","https://openalex.org/W4401979588","https://openalex.org/W4402757223","https://openalex.org/W4405855637","https://openalex.org/W4409967415","https://openalex.org/W4410156472","https://openalex.org/W4411267692","https://openalex.org/W7154497890","https://openalex.org/W7154504577"],"related_works":[],"abstract_inverted_index":{"Abstract":[0],"Flow-sensitive":[1],"and":[2,30,61,83,121,154],"flow-insensitive":[3],"analyses":[4,70,126,138],"of":[5,10,24,41,58,64,78,128,136,147,150,161],"programs":[6],"occupy":[7],"opposite":[8],"ends":[9],"a":[11,97],"spectrum.":[12],"Between":[13],"these":[14],"extremes":[15],"lie":[16],"mixed":[17,68,102,124,175],"flow":[18],"sensitive":[19],"approaches,":[20],"where":[21],"some":[22,62],"aspects":[23],"program":[25],"behavior":[26],"are":[27,71,89],"analyzed":[28],"flow-insensitively":[29],"others":[31],"flow-sensitively.":[32],"Mixed":[33],"flow-sensitivity":[34],"arises,":[35],"for":[36,55,100],"example,":[37],"in":[38,73],"the":[39,74,76,79,84,107,134,145,148,151,159,162],"analysis":[40,57,81,108,152],"multi-threaded":[42],"code":[43,45],"or":[44],"withnon-local":[46],"control":[47],"flow.":[48],"Another":[49],"instance":[50],"is":[51],"global":[52],"store":[53],"widening":[54],"efficient":[56],"functional":[59],"languages":[60],"forms":[63],"pointer":[65],"analysis.":[66],"While":[67],"flow-sensitive":[69,103,125,176],"common":[72],"literature,":[75],"formulation":[77,149],"particular":[80],"problem":[82],"means":[85],"to":[86,171],"solve":[87],"it":[88],"often":[90],"tightly":[91],"coupled.":[92],"Side-effecting":[93],"constraint":[94],"systems":[95],"provide":[96],"generic":[98,129],"mechanism":[99],"describing":[101],"analyses,":[104],"thus":[105],"decoupling":[106],"definition":[109],"from":[110],"solver":[111],"algorithm":[112],"details.":[113],"The":[114],"abstract":[115],"interpreter":[116],"Goblint":[117,170],"realizes":[118],"this":[119],"decoupling,":[120],"allows":[122],"defining":[123],"independently":[127],"solvers.":[130],"We":[131,164],"indicate":[132],"how":[133,166],"precision":[135],"specified":[137],"can":[139,168],"be":[140],"improved":[141],"using":[142],"digests":[143],"(on":[144,158],"side":[146,160],"problem)":[153],"suitable":[155],"update":[156],"rules":[157],"solver).":[163],"explain":[165],"developers":[167],"use":[169],"implement":[172],"their":[173],"own":[174],"analyses.":[177]},"counts_by_year":[],"updated_date":"2026-08-04T08:18:43.703281","created_date":"2026-05-18T00:00:00"}