On the public citation graph
Flow-insensitive interprocedural alias analysis in the presence of pointers
0 signed · 126 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-50940-2_43openalex-snapshot
Binding time analysis for polymorphically typed higher order languages
inferredcites →https://doi.org/10.1007/bf01409744openalex-snapshot
Effect analysis in higher-order languages
inferredcites →https://doi.org/10.1007/bf01808954openalex-snapshot
The interprocedural analysis and automatic parallelization of Scheme programs
inferredcites →https://doi.org/10.1007/bfb0025882openalex-snapshot
Flow-insensitive interprocedural alias analysis in the presence of pointers
inferredcites →https://doi.org/10.1016/0743-7315(88)90015-9openalex-snapshot
An overview of the PTRAN analysis system for multiprocessing
inferredcites →https://doi.org/10.1109/32.54302openalex-snapshot
Constructing the procedure call multigraph
inferredcites →https://doi.org/10.1109/71.86108openalex-snapshot
Interactive parallel programming using the ParaScope Editor
inferredcites →https://doi.org/10.1109/tse.1979.234183openalex-snapshot
Constructing the Call Graph of a Program
inferredcites →https://doi.org/10.1137/0201008openalex-snapshot
The Transitive Reduction of a Directed Graph
inferredcites →https://doi.org/10.1145/143103.143137openalex-snapshot
A safe approximate algorithm for interprocedural aliasing
inferredcites →https://doi.org/10.1145/158511.158639openalex-snapshot
Efficient flow-sensitive interprocedural computation of pointer-induced aliases and side effects
inferredcites →https://doi.org/10.1145/158511.158647openalex-snapshot
Constructing call multigraphs using dependence graphs
inferredcites →https://doi.org/10.1145/174662.174663openalex-snapshot
Efficient computation of interprocedural definition-use chains
inferredcites →https://doi.org/10.1145/178243.178263openalex-snapshot
Interprocedural may-alias analysis for pointers
inferredcites →https://doi.org/10.1145/178243.178264openalex-snapshot
Context-sensitive interprocedural points-to analysis in the presence of function pointers
inferredcites →https://doi.org/10.1145/183432.183438openalex-snapshot
Static slicing in the presence of goto statements
inferredcites →https://doi.org/10.1145/2591635.2667156openalex-snapshot
An overview of the PTRAN analysis system for multiprocessing
inferredcites →https://doi.org/10.1145/321921.321938openalex-snapshot
Global Data Flow Analysis and Iterative Algorithms
inferredcites →https://doi.org/10.1145/321921.321939openalex-snapshot
A Fast and Usually Linear Algorithm for Global Flow Analysis
inferredcites →https://doi.org/10.1145/41625.41631openalex-snapshot
Automatic decomposition of scientific programs for parallel execution
inferredcites →https://doi.org/10.1145/53990openalex-snapshot
Proceedings of the ACM SIGPLAN 1988 conference on Programming language design and implementation
inferredcites →https://doi.org/10.1145/567446.567455openalex-snapshot
Interprocedural data flow analysis in the presence of pointers, procedure variables, and label variables
inferredcites →https://doi.org/10.1145/567752.567756openalex-snapshot
An efficient way to find the side effects of procedure calls and the aliases of variables
inferredcites →https://doi.org/10.1145/77606.77608openalex-snapshot
Interprocedural slicing using dependence graphs
inferredcites →https://doi.org/10.1145/78969.78963openalex-snapshot
An interval-based approach to exhaustive and incremental interprocedural data-flow analysis
inferredcites →https://doi.org/10.1145/960116.53993openalex-snapshot
Detecting conflicts between structure accesses
inferredcites →https://doi.org/10.1145/96709.96725openalex-snapshot
On determining lifetime and aliasing of dynamically allocated data in higher-order functional specifications
inferredcites →https://doi.org/10.1145/96709.96728openalex-snapshot
An efficient hybrid algorithm for incremental data flow analysis
inferredcites →https://doi.org/10.1145/989393.989440openalex-snapshot
A safe approximate algorithm for interprocedural pointer aliasing
inferredcites →https://doi.org/10.1145/99370.99374openalex-snapshot
Replacing function parameters by global variables
inferredcites →https://doi.org/10.7282/t3-7tdb-q167openalex-snapshot
Defining flow sensitivity in data flow problems
What points at this work
Incoming claims: where this work appears in other papers’ reference lists and arguments.
inferred← citeshttps://doi.org/10.1007/11758549_101openalex-snapshot
Modular Monadic Slicing in the Presence of Pointers
inferred← citeshttps://doi.org/10.1007/3-540-35767-x_19openalex-snapshot
Probabilistic Points-to Analysis
inferred← citeshttps://doi.org/10.1007/3-540-48166-4_13openalex-snapshot
Efficient Points-to Analysis for Whole-Program Analysis
inferred← citeshttps://doi.org/10.1007/3-540-49727-7_4openalex-snapshot
Assessing the Effects of Flow-Sensitivity on Pointer Alias Analyses
inferred← citeshttps://doi.org/10.1007/3-540-61053-7_58openalex-snapshot
Points-to analysis by type inference of programs with structures and unions
inferred← citeshttps://doi.org/10.1007/978-3-319-17581-2_4openalex-snapshot
Expression-Based Aliasing for OO–languages
inferred← citeshttps://doi.org/10.1007/978-3-540-24721-0_25openalex-snapshot
Enhancing Remote Method Invocation through Type-Based Static Analysis
inferred← citeshttps://doi.org/10.1007/978-3-540-45099-3_10openalex-snapshot
Polymorphic versus Monomorphic Flow-Insensitive Points-To Analysis for C
inferred← citeshttps://doi.org/10.1007/978-3-540-77220-0_25openalex-snapshot
Partial Flow Sensitivity
inferred← citeshttps://doi.org/10.1007/978-3-540-78791-4_15openalex-snapshot
Efficiency, Precision, Simplicity, and Generality in Interprocedural Data Flow Analysis: Resurrecting the Classical Call Strings Method
inferred← citeshttps://doi.org/10.1007/978-3-642-12214-9_113openalex-snapshot
Refactoring Interprocedural Dynamic Slicing for Handling Pointers
inferred← citeshttps://doi.org/10.1007/bfb0017248openalex-snapshot
Context-sensitive interprocedural analysis in the presence of dynamic aliasing
inferred← citeshttps://doi.org/10.1007/s10766-010-0157-yopenalex-snapshot
Probabilistic Alias Analysis of Executable Code
inferred← citeshttps://doi.org/10.1016/j.entcs.2009.11.015openalex-snapshot
User-Definable Resource Usage Bounds Analysis for Java Bytecode
inferred← citeshttps://doi.org/10.1016/j.micpro.2018.10.007openalex-snapshot
Memory management of safety-critical hard real-time systems designed in SystemJ
inferred← citeshttps://doi.org/10.1016/j.scico.2009.08.002openalex-snapshot
A novel analysis space for pointer analysis and its application for bug finding
inferred← citeshttps://doi.org/10.1016/j.scico.2016.08.005openalex-snapshot
On the verification of SCOOP programs
inferred← citeshttps://doi.org/10.1016/s0164-1212(00)00102-3openalex-snapshot
Supporting parallel computing on a distributed object architecture
inferred← citeshttps://doi.org/10.1016/s0167-6423(00)00014-9openalex-snapshot
Evaluating the effectiveness of pointer alias analyses
inferred← citeshttps://doi.org/10.1016/s0167-8191(02)00114-xopenalex-snapshot
Parallelizing graph construction operations in programs with cyclic graphs
inferred← citeshttps://doi.org/10.1016/s0950-5849(02)00105-2openalex-snapshot
Flow insensitive points-to sets
inferred← citeshttps://doi.org/10.1023/b:ijpp.0000015564.82048.f3openalex-snapshot
Alias Analysis in Java with Reference-Set Representation for High-Performance Computing
inferred← citeshttps://doi.org/10.1109/32.926173openalex-snapshot
Complexity of points-to analysis of Java in the presence of exceptions
inferred← citeshttps://doi.org/10.1109/hpec.2012.6408676openalex-snapshot
Efficient and scalable computations with sparse tensors
inferred← citeshttps://doi.org/10.1109/icodse59534.2023.10291446openalex-snapshot
Detecting Command Injection and Cross-site Scripting Vulnerabilities Using Graph Representations
inferred← citeshttps://doi.org/10.1109/icsm.2002.1167744openalex-snapshot
Evaluating context-sensitive slicing and chopping
inferred← citeshttps://doi.org/10.1109/icsm.2003.1235405openalex-snapshot
A large-scale empirical study of forward and backward static slice size and context sensitivity
inferred← citeshttps://doi.org/10.1109/icsm.2004.1357836openalex-snapshot
Advanced slicing of sequential and concurrent programs
inferred← citeshttps://doi.org/10.1109/isorc.2006.43openalex-snapshot
JAAT: Java Alias Analysis Tool for Program Maintenance Activities
inferred← citeshttps://doi.org/10.1109/sbcci.2002.1137677openalex-snapshot
On the importance, problems and solutions of pointer synthesis
inferred← citeshttps://doi.org/10.1109/scam.2001.972669openalex-snapshot
Flow insensitive points-to sets
inferred← citeshttps://doi.org/10.1109/scam.2005.20openalex-snapshot
Pointer Analysis for Source-to-Source Transformations
inferred← citeshttps://doi.org/10.1109/tpds.2004.56openalex-snapshot
Interprocedural probabilistic pointer analysis
inferred← citeshttps://doi.org/10.1145/1050849.1050865openalex-snapshot
A brief survey of program slicing
inferred← citeshttps://doi.org/10.1145/1108768.1108810openalex-snapshot
Representation-independent program analysis
inferred← citeshttps://doi.org/10.1145/1178625.1178628openalex-snapshot
Efficient path conditions in dependence graphs for software safety analysis
inferred← citeshttps://doi.org/10.1145/1217295.1217297openalex-snapshot
An empirical study of static program slice size
inferred← citeshttps://doi.org/10.1145/1363686.1363742openalex-snapshot
Improving flow-insensitive solutions for non-separable dataflow problems
inferred← citeshttps://doi.org/10.1145/207110.207113openalex-snapshot
Flow-sensitive interprocedural constant propagation
inferred← citeshttps://doi.org/10.1145/223428.207113openalex-snapshot
Flow-sensitive interprocedural constant propagation
inferred← citeshttps://doi.org/10.1145/236337.236371openalex-snapshot
Fast static analysis of C++ virtual function calls
inferred← citeshttps://doi.org/10.1145/237721.237727openalex-snapshot
Points-to analysis in almost linear time
inferred← citeshttps://doi.org/10.1145/239098.239112openalex-snapshot
Program decomposition for pointer aliasing
inferred← citeshttps://doi.org/10.1145/239912.239913openalex-snapshot
Precise flow-insensitive may-alias analysis is NP-hard
inferred← citeshttps://doi.org/10.1145/250707.239112openalex-snapshot
Program decomposition for pointer aliasing
inferred← citeshttps://doi.org/10.1145/2508859.2516664openalex-snapshot
Obfuscation resilient binary code reuse through trace-oriented programming
inferred← citeshttps://doi.org/10.1145/258915.258936openalex-snapshot
Automatic verification of pointer programs using monadic second-order logic
inferred← citeshttps://doi.org/10.1145/258916.258936openalex-snapshot
Automatic verification of pointer programs using monadic second-order logic
inferred← citeshttps://doi.org/10.1145/263699.263703openalex-snapshot
Fast and accurate flow-insensitive points-to analysis
inferred← citeshttps://doi.org/10.1145/268946.268948openalex-snapshot
Alias analysis of executable code
inferred← citeshttps://doi.org/10.1145/277631.277635openalex-snapshot
Experiments with combined analysis for pointer aliasing
inferred← citeshttps://doi.org/10.1145/277633.277635openalex-snapshot
Experiments with combined analysis for pointer aliasing
inferred← citeshttps://doi.org/10.1145/277650.277668openalex-snapshot
Using static single assignment form to improve flow-insensitive pointer analysis
inferred← citeshttps://doi.org/10.1145/277652.277668openalex-snapshot
Using static single assignment form to improve flow-insensitive pointer analysis
inferred← citeshttps://doi.org/10.1145/2970276.2970309openalex-snapshot
Sound static deadlock analysis for C/Pthreads
inferred← citeshttps://doi.org/10.1145/301618.301647openalex-snapshot
Pointer analysis for programs with structures and casting
inferred← citeshttps://doi.org/10.1145/301631.301647openalex-snapshot
Pointer analysis for programs with structures and casting
inferred← citeshttps://doi.org/10.1145/318774.318943openalex-snapshot
Efficient points-to analysis for whole-program analysis
inferred← citeshttps://doi.org/10.1145/325478.325519openalex-snapshot
Interprocedural pointer alias analysis
inferred← citeshttps://doi.org/10.1145/3276512openalex-snapshot
Refinement in object-sensitivity points-to analysis via slicing
inferred← citeshttps://doi.org/10.1145/328690.328704openalex-snapshot
Symbolic pointer analysis for detecting memory leaks
inferred← citeshttps://doi.org/10.1145/328691.328704openalex-snapshot
Symbolic pointer analysis for detecting memory leaks
inferred← citeshttps://doi.org/10.1145/3293606openalex-snapshot
Rethinking Incremental and Parallel Pointer Analysis
inferred← citeshttps://doi.org/10.1145/347324.348916openalex-snapshot
Which pointer analysis should I use?
inferred← citeshttps://doi.org/10.1145/347636.348916openalex-snapshot
Which pointer analysis should I use?
inferred← citeshttps://doi.org/10.1145/349299.349311openalex-snapshot
Modular interprocedural pointer analysis using access paths
inferred← citeshttps://doi.org/10.1145/353171.353189openalex-snapshot
Practical virtual method call resolution for Java
inferred← citeshttps://doi.org/10.1145/358438.349311openalex-snapshot
Modular interprocedural pointer analysis using access paths
inferred← citeshttps://doi.org/10.1145/383043.381532openalex-snapshot
A schema for interprocedural modification side-effect analysis with pointer aliasing
inferred← citeshttps://doi.org/10.1145/512529.512560openalex-snapshot
Efficient and precise datarace detection for multithreaded object-oriented programs
inferred← citeshttps://doi.org/10.1145/604131.604142openalex-snapshot
New results on the computability and complexity of points--to analysis
inferred← citeshttps://doi.org/10.1145/640128.604142openalex-snapshot
New results on the computability and complexity of points--to analysis
inferred← citeshttps://doi.org/10.1145/781498.781502openalex-snapshot
Compiler support for speculative multithreading architecture with probabilistic points-to analysis
inferred← citeshttps://doi.org/10.1145/945885.945892openalex-snapshot
Stack allocation and synchronization optimizations for Java using escape analysis
inferred← citeshttps://doi.org/10.1155/2003/154169openalex-snapshot
Interprocedural Definition‐Use Chains of Dynamic Pointer‐Linked Data Structures
inferred← citeshttps://doi.org/10.13140/rg.2.2.29891.40481openalex-snapshot
BINARY CODE REUSE: A DYNAMIC ANALYSIS BASED APPROACH
inferred← citeshttps://doi.org/10.29007/wkvmopenalex-snapshot
Discovering Specifications for Unknown Procedures - Work in Progress
inferred← citeshttps://doi.org/10.48550/arxiv.1409.7509openalex-snapshot
Expression-based aliasing for OO-languages
inferred← citeshttps://doi.org/10.48550/arxiv.1504.07041openalex-snapshot
On the Verification of SCOOP Programs
inferred← citeshttps://doi.org/10.48550/arxiv.1607.06927openalex-snapshot
Sound Static Deadlock Analysis for C/Pthreads (Extended Version)
inferred← citeshttps://doi.org/10.5555/827246.827354openalex-snapshot
On the importance, problems and solutions of pointer synthesis
inferred← citeshttps://doi.org/10.7916/d8n30842openalex-snapshot
Pointer Analysis for C Programs Through AST Traversal
inferred← citeshttps://doi.org/10.7916/d8wq0bn0openalex-snapshot
Summary-Based Pointer Analysis Framework for Modular Bug Finding
showing the first 90 of 91 · page through all 91
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.