Work

Pick Your Call Graphs Well: On Scaling IFDS-Based Data-Flow Analyses

Year: 2025

Type: conference-paper

Abstract: Recent works on scaling IFDS-based analyses propose sophisticated techniques ranging from sparsification and disk-assisted computing to intelligent garbage collection. Yet, they choose a fixed call graph, thereby disregarding its implications on scalability.

DOI: 10.1145/3735544.3735587

Authors: Kadiray Karakaya, Palaniappan Muthuraman, Eric Bodden

Institutions: Paderborn University, Fraunhofer Institute for Mechatronic Systems Design

Language: English

Topic: Logic, programming, and type systems

Subfield: Artificial Intelligence

Field: Computer Science

Domain: Physical Sciences

Open Access status: gold

OpenAlex ID: W4411264934

FWCI: 1.059

Cites: 39

Cited by: 1

Related to: 10