On the public citation graph
A Cocktail Approach to Practical Call Graph Construction
0 signed · 113 inferred · view as graph
Inferred edges come from two machine sources: sweeps of open repository metadata (mostly SSRN and Zenodo), and a bulk OpenAlex citation snapshot. Every row below is labelled with the one it came from. Neither is a complete citation index — absence here is not evidence of absence.
Is this your work? Sign in with ORCID and put your name on the
claims that are yours.
Reference health. See whether every reference in this work resolves to a
known work and none has been retracted — and get a dated CiteStamped
badge you can embed.
What this work says
Outgoing claims: the papers this work cites, builds on, or argues with.
inferredcites →https://doi.org/10.1007/3-540-44905-1_38openalex-snapshot
An Empirical Study of Function Pointers Using SPEC Benchmarks
inferredcites →https://doi.org/10.1007/978-3-030-88806-0_13openalex-snapshot
Selective Context-Sensitivity for k-CFA with CFL-Reachability
inferredcites →https://doi.org/10.1007/978-3-319-10936-7_20openalex-snapshot
Region-Based Selective Flow-Sensitive Pointer Analysis
inferredcites →https://doi.org/10.1007/978-3-540-24723-4_2openalex-snapshot
Analyzing Memory Accesses in x86 Executables
inferredcites →https://doi.org/10.1007/978-3-540-31985-6_19openalex-snapshot
CodeSurfer/x86—A Platform for Analyzing x86 Executables
inferredcites →https://doi.org/10.1007/978-3-540-73368-3_26openalex-snapshot
Fast and Accurate Static Data-Race Detection for Concurrent Programs
inferredcites →https://doi.org/10.1007/978-3-642-03013-0_6openalex-snapshot
Scaling CFL-Reachability-Based Points-To Analysis Using Context-Sensitive Must-Not-Alias Analysis
inferredcites →https://doi.org/10.1007/978-3-642-03237-0_15openalex-snapshot
The Complexity of Andersen’s Analysis in Practice
inferredcites →https://doi.org/10.1007/978-3-642-31057-7_30openalex-snapshot
Application-Only Call Graph Construction
inferredcites →https://doi.org/10.1007/978-3-662-44202-9_3openalex-snapshot
Constructing Call Graphs of Scala Programs
inferredcites →https://doi.org/10.1007/978-3-662-53413-7_5openalex-snapshot
Structure-Sensitive Points-To Analysis for C and C++
inferredcites →https://doi.org/10.1023/b:ause.0000008666.56394.a1openalex-snapshot
Precise Call Graphs for C Programs with Function Pointers
inferredcites →https://doi.org/10.1109/apsec.2004.16openalex-snapshot
Accurate Call Graph Extraction of Programs with Function Pointers Using Type Signatures
inferredcites →https://doi.org/10.1109/cgo.2009.9openalex-snapshot
Wave Propagation and Deep Propagation for Pointer Analysis
inferredcites →https://doi.org/10.1109/cgo.2011.5764696openalex-snapshot
Flow-sensitive pointer analysis for millions of lines of code
inferredcites →https://doi.org/10.1109/csmr.1999.756682openalex-snapshot
Impact of function pointers on the call graph
inferredcites →https://doi.org/10.1109/eurosp.2016.24openalex-snapshot
Fine-Grained Control-Flow Integrity for Kernel Software
inferredcites →https://doi.org/10.1109/eurosp.2019.00017openalex-snapshot
Adaptive Call-Site Sensitive Control Flow Integrity
inferredcites →https://doi.org/10.1109/icse.2019.00025openalex-snapshot
SMOKE: Scalable Path-Sensitive Memory Leak Detection for Millions of Lines of Code
inferredcites →https://doi.org/10.1109/icse43902.2021.00146openalex-snapshot
PyCG: Practical Call Graph Generation in Python
inferredcites →https://doi.org/10.1109/sp.2017.68openalex-snapshot
Finding and Preventing Bugs in JavaScript Bindings
inferredcites →https://doi.org/10.1109/sp46214.2022.9833751openalex-snapshot
BEACON: Directed Grey-Box Fuzzing with Provable Path Pruning
inferredcites →https://doi.org/10.1109/tifs.2018.2797932openalex-snapshot
Fine-CFI: Fine-Grained Control-Flow Integrity for Operating System Kernels
inferredcites →https://doi.org/10.1109/tpds.2022.3174631openalex-snapshot
An In-Depth Study of Microservice Call Graph and Runtime Performance
inferredcites →https://doi.org/10.1109/trustcom53373.2021.00116openalex-snapshot
MazeRunner: Evaluating the Attack Surface of Control-Flow Integrity Policies
inferredcites →https://doi.org/10.1109/tse.2018.2869336openalex-snapshot
Value-Flow-Based Demand-Driven Pointer Analysis for C and C++
inferredcites →https://doi.org/10.1109/tse.2019.2956925openalex-snapshot
A Study of Call Graph Construction for JVM-Hosted Languages
inferredcites →https://doi.org/10.1109/tse.2023.3241639openalex-snapshot
Static Analysis of JNI Programs via Binary Decompilation
inferredcites →https://doi.org/10.1145/1044834.1044835openalex-snapshot
Parameterized object sensitivity for points-to analysis for Java
inferredcites →https://doi.org/10.1145/1094811.1094817openalex-snapshot
Demand-driven points-to analysis for Java
inferredcites →https://doi.org/10.1145/1133981.1134018openalex-snapshot
Effective static race detection for Java
inferredcites →https://doi.org/10.1145/1133981.1134027openalex-snapshot
Refinement-based context-sensitive points-to analysis for Java
inferredcites →https://doi.org/10.1145/1146238.1146254openalex-snapshot
Effective typestate verification in the presence of aliasing
inferredcites →https://doi.org/10.1145/1250734.1250766openalex-snapshot
Making context-sensitive points-to analysis with heap cloning practical for the real world
inferredcites →https://doi.org/10.1145/1328438.1328463openalex-snapshot
Automatic inference of stationary fields
inferredcites →https://doi.org/10.1145/1328438.1328464openalex-snapshot
Demand-driven alias analysis for C
inferredcites →https://doi.org/10.1145/1375581.1375620openalex-snapshot
Dataflow analysis for concurrent programs using datarace detection
inferredcites →https://doi.org/10.1145/1480881.1480911openalex-snapshot
Semi-sparse flow-sensitive pointer analysis
inferredcites →https://doi.org/10.1145/1542476.1542506openalex-snapshot
Error propagation analysis for file systems
inferredcites →https://doi.org/10.1145/1646353.1646374openalex-snapshot
A few billion lines of code later
inferredcites →https://doi.org/10.1145/1926385.1926389openalex-snapshot
Points-to analysis with efficient strong updates
inferredcites →https://doi.org/10.1145/199448.199462openalex-snapshot
Precise interprocedural dataflow analysis via graph reachability
inferredcites →https://doi.org/10.1145/2025113.2025160openalex-snapshot
Boosting the performance of flow-sensitive points-to analysis using value flow
inferredcites →https://doi.org/10.1145/2046707.2046713openalex-snapshot
Combining control-flow integrity and static analysis for efficient and validated data sandboxing
inferredcites →https://doi.org/10.1145/237721.237727openalex-snapshot
Points-to analysis in almost linear time
inferredcites →https://doi.org/10.1145/239098.239112openalex-snapshot
Program decomposition for pointer aliasing
inferredcites →https://doi.org/10.1145/2491411.2501854openalex-snapshot
Scalable and incremental software bug detection
inferredcites →https://doi.org/10.1145/2491894.2466483openalex-snapshot
Precise and scalable context-sensitive pointer analysis via value flow graph
inferredcites →https://doi.org/10.1145/2594291.2594295openalex-snapshot
Modular control-flow integrity
inferredcites →https://doi.org/10.1145/2594291.2594314openalex-snapshot
Persistent pointer information
inferredcites →https://doi.org/10.1145/279310.279314openalex-snapshot
An empirical study of static call graph extractors
inferredcites →https://doi.org/10.1145/2824234openalex-snapshot
Type-Based Call Graph Construction Algorithms for Scala
inferredcites →https://doi.org/10.1145/2892208.2892235openalex-snapshot
SVF: interprocedural static value-flow analysis in LLVM
inferredcites →https://doi.org/10.1145/2950290.2950296openalex-snapshot
On-demand strong update analysis via value-flow refinement
inferredcites →https://doi.org/10.1145/2950290.2950312openalex-snapshot
Call graph construction for Java libraries
inferredcites →https://doi.org/10.1145/2983990.2983991openalex-snapshot
Call graphs for languages with parametric polymorphism
inferredcites →https://doi.org/10.1145/3062341.3062360openalex-snapshot
Efficient and precise points-to analysis: modeling the heap by merging equivalent automata
inferredcites →https://doi.org/10.1145/3062341.3062361openalex-snapshot
Static deadlock detection for asynchronous C# programs
inferredcites →https://doi.org/10.1145/3133923openalex-snapshot
IDE al : efficient and precise alias-aware dataflow analysis
inferredcites →https://doi.org/10.1145/3133924openalex-snapshot
Data-driven context-sensitivity for points-to analysis
inferredcites →https://doi.org/10.1145/3180155.3180178openalex-snapshot
Spatio-temporal context reduction
inferredcites →https://doi.org/10.1145/3192366.3192418openalex-snapshot
Pinpoint: fast and precise sparse value flow analysis for million lines of code
inferredcites →https://doi.org/10.1145/3236024.3236041openalex-snapshot
Scalability-first pointer analysis with self-tuning context-sensitivity
inferredcites →https://doi.org/10.1145/3276511openalex-snapshot
Precision-guided context sensitivity for pointer analysis
inferredcites →https://doi.org/10.1145/3360574openalex-snapshot
Precision-preserving yet fast object-sensitive pointer analysis with partial context sensitivity
inferredcites →https://doi.org/10.1145/3377811.3380386openalex-snapshot
Typestate-guided fuzzer for discovering use-after-free vulnerabilities
inferredcites →https://doi.org/10.1145/3381915openalex-snapshot
A Principled Approach to Selective Context Sensitivity for Pointer Analysis
inferredcites →https://doi.org/10.1145/3453483.3454073openalex-snapshot
When threads meet events: efficient and precise static race detection with origins
inferredcites →https://doi.org/10.1145/3453483.3454085openalex-snapshot
Chianina: an evolving graph system for flow- and context-sensitive analyses of million lines of C code
inferredcites →https://doi.org/10.1145/3453483.3454099openalex-snapshot
Canary: practical static detection of inter-thread value-flow bugs
inferredcites →https://doi.org/10.1145/3460319.3464836openalex-snapshot
Modular call graph construction for security scanning of Node.js applications
inferredcites →https://doi.org/10.1145/3485832.3485900openalex-snapshot
ReCFA: Resilient Control-Flow Attestation
inferredcites →https://doi.org/10.1145/3510003.3510178openalex-snapshot
Controlled concurrency testing via periodical scheduling
inferredcites →https://doi.org/10.1145/3540250.3549110openalex-snapshot
Peahen: fast and precise static deadlock detection via context reduction
inferredcites →https://doi.org/10.1145/3551349.3561154openalex-snapshot
Detecting Blocking Errors in Go Programs using Localized Abstract Interpretation
inferredcites →https://doi.org/10.1145/3564625.3564627openalex-snapshot
TyPro: Forward CFI for C-Style Indirect Function Calls Using Type Propagation
inferredcites →https://doi.org/10.1145/3591242openalex-snapshot
Context Sensitivity without Contexts: A Cut-Shortcut Approach to Fast and Precise Pointer Analysis
inferredcites →https://doi.org/10.1145/566172.566174openalex-snapshot
Parameterized object sensitivity for points-to and side-effect analyses for Java
inferredcites →https://doi.org/10.1145/587051.587062openalex-snapshot
Improving program slicing with dynamic points-to data
inferredcites →https://doi.org/10.14722/ndss.2014.23287openalex-snapshot
SAFEDISPATCH: Securing C++ Virtual Calls from Memory Corruption Attacks
inferredcites →https://doi.org/10.14722/ndss.2021.24386openalex-snapshot
Refining Indirect Call Targets at the Binary Level
inferredcites →https://doi.org/10.23919/fmcad.2019.8894275openalex-snapshot
Unification-based Pointer Analysis without Oversharing
inferredcites →https://doi.org/10.4230/lipics.ecoop.2016.22openalex-snapshot
Boomerang: Demand-Driven Flow- and Context-Sensitive Pointer Analysis for Java
inferredcites →https://doi.org/10.4230/lipics.ecoop.2020.24openalex-snapshot
Flow-Sensitive Type-Based Heap Cloning
inferredcites →https://doi.org/10.4230/lipics.ecoop.2021.16openalex-snapshot
Accelerating Object-Sensitive Pointer Analysis by Exploiting Object Containment and Reachability
inferredcites →https://doi.org/10.4230/lipics.ecoop.2022.30openalex-snapshot
Qilin: A New Framework For Supporting Fine-Grained Context-Sensitivity in Java Pointer Analysis
inferredcites →https://doi.org/10.7282/t3x92frkopenalex-snapshot
Function Pointers in C - An Empirical Study
What points at this work
Incoming claims: where this work appears in other papers’ reference lists and arguments.
inferred← citeshttps://doi.org/10.1007/978-3-032-26220-2_22openalex-snapshot
Mixed Flow-Sensitive Static Analysis: Engineering Modularity
inferred← citeshttps://doi.org/10.1016/j.jss.2025.112753openalex-snapshot
Clash: Enhancing context-sensitivity in data-flow analysis for mitigating the impact of indirect calls
inferred← citeshttps://doi.org/10.1109/sp61157.2025.00189openalex-snapshot
Redefining Indirect Call Analysis with KallGraph
inferred← citeshttps://doi.org/10.1109/tdsc.2024.3403653openalex-snapshot
Sliver: A Scalable Slicing-Based Verification for Information Flow Security
inferred← citeshttps://doi.org/10.1145/3620665.3640382openalex-snapshot
Plankton: Reconciling Binary Code and Debug Information
inferred← citeshttps://doi.org/10.1145/3620666.3651366openalex-snapshot
SIRO: Empowering Version Compatibility in Intermediate Representations via Program Synthesis
inferred← citeshttps://doi.org/10.1145/3622781.3674177openalex-snapshot
Manta: Hybrid-Sensitive Type Inference Toward Type-Assisted Bug Detection for Stripped Binaries
inferred← citeshttps://doi.org/10.1145/3653718openalex-snapshot
Automatically Inspecting Thousands of Static Bug Warnings with Large Language Model: How Far Are We?
inferred← citeshttps://doi.org/10.1145/3729297openalex-snapshot
Taking Out the Toxic Trash: Recovering Precision in Mixed Flow-Sensitive Static Analyses
inferred← citeshttps://doi.org/10.1145/3744916.3764555openalex-snapshot
PyXray: Practical Cross-Language Call Graph Construction through Object Layout Analysis
inferred← citeshttps://doi.org/10.1145/3839455openalex-snapshot
Beyond Nominality: Faster Rapid Type Analysis in the Presence of Structural Subtyping
Editorial review for independent work. ICSAC — the Institute for Complexity
Science and Advanced Computing — runs a structured editorial panel for researchers
publishing outside journals, and publishes on CiteStamp rails. Submission is free
and goes through ORCID: icsacinstitute.org/submit.