On the public citation graph
The effects of the precision of pointer analysis
0 signed · 107 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/978-3-662-01089-1_1openalex-snapshot
Invariance of Approximative Semantics with Respect to Program Transformations
inferredcites →https://doi.org/10.1137/1.9781611970265openalex-snapshot
Data Structures and Network Algorithms
inferredcites →https://doi.org/10.1145/143103.143137openalex-snapshot
A safe approximate algorithm for interprocedural aliasing
inferredcites →https://doi.org/10.1145/155090.155096openalex-snapshot
Interprocedural modification side effect analysis with pointer aliasing
inferredcites →https://doi.org/10.1145/158511.158524openalex-snapshot
Imperative functional programming
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/178243.178446openalex-snapshot
Efficient detection of all pointer and array access errors
inferredcites →https://doi.org/10.1145/199448.199462openalex-snapshot
Precise interprocedural dataflow analysis via graph reachability
inferredcites →https://doi.org/10.1145/207110.207111openalex-snapshot
Efficient context-sensitive pointer analysis for C programs
inferredcites →https://doi.org/10.1145/223428.207111openalex-snapshot
Efficient context-sensitive pointer analysis for C programs
inferredcites →https://doi.org/10.1145/223428.207112openalex-snapshot
Context-insensitive alias analysis reconsidered
inferredcites →https://doi.org/10.1145/237721.237727openalex-snapshot
Points-to analysis in almost linear time
inferredcites →https://doi.org/10.1145/263699.263703openalex-snapshot
Fast and accurate flow-insensitive points-to analysis
inferredcites →https://doi.org/10.1145/512927.512945openalex-snapshot
A unified approach to global program optimization
inferredcites →https://doi.org/10.1145/77606.77608openalex-snapshot
Interprocedural slicing using dependence graphs
inferredcites →https://doi.org/10.1145/989393.989440openalex-snapshot
A safe approximate algorithm for interprocedural pointer aliasing
What points at this work
Incoming claims: where this work appears in other papers’ reference lists and arguments.
inferred← citeshttps://doi.org/10.1002/spe.969openalex-snapshot
An algorithmic mitigation of large spurious interprocedural cycles in static analysis
inferred← citeshttps://doi.org/10.1007/11406921_22openalex-snapshot
Using Inter-Procedural Side-Effect Information in JIT Optimizations
inferred← citeshttps://doi.org/10.1007/11575467_18openalex-snapshot
A Path Sensitive Type System for Resource Usage Verification of C Like Languages
inferred← citeshttps://doi.org/10.1007/11596110_11openalex-snapshot
An Empirical Study on the Granularity of Pointer Analysis in C Programs
inferred← citeshttps://doi.org/10.1007/3-540-44898-5_12openalex-snapshot
Client-Driven Pointer Analysis
inferred← citeshttps://doi.org/10.1007/3-540-45136-6_6openalex-snapshot
Parameter-Induced Aliasing in Ada
inferred← citeshttps://doi.org/10.1007/3-540-45306-7_2openalex-snapshot
Alias Analysis by Means of a Model Checker
inferred← citeshttps://doi.org/10.1007/3-540-45306-7_3openalex-snapshot
Points-to and Side-Effect Analyses for Programs Built with Precompiled Libraries
inferred← citeshttps://doi.org/10.1007/3-540-45574-4_15openalex-snapshot
Optimizing the Use of High Performance Software Libraries
inferred← citeshttps://doi.org/10.1007/3-540-47764-0_15openalex-snapshot
Estimating the Impact of Scalable Pointer Analysis on Optimization
inferred← citeshttps://doi.org/10.1007/3-540-47847-7_10openalex-snapshot
The Impact of Alias Analysis on VLIW Scheduling
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/978-3-030-34238-8_7openalex-snapshot
Free Open-Source Software Fingerprinting
inferred← citeshttps://doi.org/10.1007/978-3-031-25538-0_40openalex-snapshot
Breaking Embedded Software Homogeneity with Protocol Mutations
inferred← citeshttps://doi.org/10.1007/978-3-540-24723-4_3openalex-snapshot
The Limits of Alias Analysis for Scalar Optimizations
inferred← citeshttps://doi.org/10.1007/978-3-540-24851-4_5openalex-snapshot
Pointer Analysis in the Presence of Dynamic Class Loading
inferred← citeshttps://doi.org/10.1007/978-3-642-10672-9_4openalex-snapshot
Large Spurious Cycle in Global Static Analyses and Its Algorithmic Mitigation
inferred← citeshttps://doi.org/10.1007/978-3-642-18178-8_16openalex-snapshot
Misleading Malware Similarities Analysis by Automatic Data Structure Obfuscation
inferred← citeshttps://doi.org/10.1007/978-3-642-31057-7_29openalex-snapshot
Scalable Flow-Sensitive Pointer Analysis for Java with Strong Updates
inferred← citeshttps://doi.org/10.1007/978-3-642-33125-1_19openalex-snapshot
Liveness-Based Pointer Analysis
inferred← citeshttps://doi.org/10.1016/j.cl.2014.05.001openalex-snapshot
A sparse evaluation technique for detailed semantic analyses
inferred← citeshttps://doi.org/10.1016/j.entcs.2005.01.025openalex-snapshot
Towards a Complete Static Analyser for Java: an Abstract Interpretation Framework and its Implementation
inferred← citeshttps://doi.org/10.1016/j.infsof.2005.06.001openalex-snapshot
Theory and algorithms for slicing unstructured programs
inferred← citeshttps://doi.org/10.1016/j.jss.2013.07.040openalex-snapshot
Coherent clusters in source code
inferred← citeshttps://doi.org/10.1016/j.jss.2021.111042openalex-snapshot
A parallel worklist algorithm and its exploration heuristics for static modular analyses
inferred← citeshttps://doi.org/10.1016/j.scico.2005.02.005openalex-snapshot
Error checking with client-driven pointer analysis
inferred← citeshttps://doi.org/10.1016/s0065-2458(03)62003-6openalex-snapshot
A Survey of Empirical Results on Program Slicing
inferred← citeshttps://doi.org/10.1016/s0164-1212(98)10058-4openalex-snapshot
Points-to analysis for program understanding
inferred← citeshttps://doi.org/10.1016/s0167-6423(00)00014-9openalex-snapshot
Evaluating the effectiveness of pointer alias analyses
inferred← citeshttps://doi.org/10.1017/s1471068416000405openalex-snapshot
Precise complexity guarantees for pointer analysis via Datalog with extensions
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/csmr.1999.756683openalex-snapshot
Effects of different flow insensitive points-to analyses on DEF/USE sets
inferred← citeshttps://doi.org/10.1109/icse.2000.870427openalex-snapshot
Light-weight context recovery for efficient and accurate program analyses
inferred← citeshttps://doi.org/10.1109/icsm.1999.792640openalex-snapshot
Reuse-driven interprocedural slicing in the presence of pointers and recursion
inferred← citeshttps://doi.org/10.1109/icsm.2001.972726openalex-snapshot
Incremental slicing based on data-dependences types
inferred← citeshttps://doi.org/10.1109/icsm.2004.1357836openalex-snapshot
Advanced slicing of sequential and concurrent programs
inferred← citeshttps://doi.org/10.1109/isorcw.2011.40openalex-snapshot
Analyzing Embedded Systems Code for Mixed-Critical Systems Using Hybrid Memory Representations
inferred← citeshttps://doi.org/10.1109/pdse.1999.779738openalex-snapshot
Channel dependence analysis for slicing Promela
inferred← citeshttps://doi.org/10.1109/scam.2011.11openalex-snapshot
Computation of Alias Sets from Shape Graphs for Comparison of Shape Analysis Precision
inferred← citeshttps://doi.org/10.1109/tse.2004.78openalex-snapshot
Analysis and visualization of predicate dependence on formal parameters and global variables
inferred← citeshttps://doi.org/10.1109/tse.2005.94openalex-snapshot
Program slicing with dynamic points-to sets
inferred← citeshttps://doi.org/10.1109/wpc.2001.921712openalex-snapshot
Effects of pointers on data dependences
inferred← citeshttps://doi.org/10.1145/1007512.1007515openalex-snapshot
Software validation via scalable path-sensitive value flow analysis
inferred← citeshttps://doi.org/10.1145/1018210.1018212openalex-snapshot
Classifying data dependences in the presence of pointers for program comprehension, testing, and debugging
inferred← citeshttps://doi.org/10.1145/1044834.1044835openalex-snapshot
Parameterized object sensitivity for points-to analysis for Java
inferred← citeshttps://doi.org/10.1145/1050849.1050865openalex-snapshot
A brief survey of program slicing
inferred← citeshttps://doi.org/10.1145/1244002.1244287openalex-snapshot
Comparison of two activity analyses for automatic differentiation
inferred← citeshttps://doi.org/10.1145/1480881.1480911openalex-snapshot
Semi-sparse flow-sensitive pointer analysis
inferred← citeshttps://doi.org/10.1145/2660193.2660214openalex-snapshot
Determinacy in static analysis for jQuery
inferred← citeshttps://doi.org/10.1145/268946.268957openalex-snapshot
Putting pointer analysis to work
inferred← citeshttps://doi.org/10.1145/271771.271782openalex-snapshot
Comparing flow and context sensitivity on the modification-side-effects problem
inferred← citeshttps://doi.org/10.1145/277631.277635openalex-snapshot
Experiments with combined analysis for pointer aliasing
inferred← citeshttps://doi.org/10.1145/288195.288217openalex-snapshot
Effective whole-program analysis in the presence of pointers
inferred← citeshttps://doi.org/10.1145/2931098openalex-snapshot
Heap Abstractions for Static Analysis
inferred← citeshttps://doi.org/10.1145/301618.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/3212480.3212487openalex-snapshot
Automated Binary Analysis on iOS
inferred← citeshttps://doi.org/10.1145/325478.325519openalex-snapshot
Interprocedural pointer alias analysis
inferred← citeshttps://doi.org/10.1145/3302516.3307359openalex-snapshot
Compare less, defer more: scaling value-contexts based whole-program heap analyses
inferred← citeshttps://doi.org/10.1145/337180.337222openalex-snapshot
Light-weight context recovery for efficient and accurate program analyses
inferred← citeshttps://doi.org/10.1145/3437801.3441613openalex-snapshot
Extracting clean performance models from tainted programs
inferred← citeshttps://doi.org/10.1145/347324.348916openalex-snapshot
Which pointer analysis should I use?
inferred← citeshttps://doi.org/10.1145/3487568openalex-snapshot
Guided Feature Identification and Removal for Resource-constrained Firmware
inferred← citeshttps://doi.org/10.1145/349299.349309openalex-snapshot
Unification-based pointer analysis with directional assignments
inferred← citeshttps://doi.org/10.1145/3519939.3523445openalex-snapshot
Modular information flow through ownership
inferred← citeshttps://doi.org/10.1145/3586046openalex-snapshot
Aliasing Limits on Translating C to Safe Rust
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/383721.383732openalex-snapshot
Using types to analyze and optimize object-oriented programs
inferred← citeshttps://doi.org/10.1145/566171.566174openalex-snapshot
Parameterized object sensitivity for points-to and side-effect analyses for Java
inferred← citeshttps://doi.org/10.1145/567793.567796openalex-snapshot
Equivalence analysis and its application in improving the efficiency of program slicing
inferred← citeshttps://doi.org/10.1145/587051.587062openalex-snapshot
Improving program slicing with dynamic points-to data
inferred← citeshttps://doi.org/10.1145/949305.949337openalex-snapshot
Connectivity-based garbage collection
inferred← citeshttps://doi.org/10.70675/933f49a0z0075z4108z99a1z6cc67f80e603openalex-snapshot
Static analysis of functional programs with an application to the frame problem in deductive verification
inferred← citeshttps://doi.org/10.7282/t3-4ah3-6p23openalex-snapshot
Dataflow analysis of software fragments
inferred← citeshttps://doi.org/10.7282/t3183b5popenalex-snapshot
Practical Points-to Analysis for Programs Built with Libraries
inferred← citeshttps://doi.org/10.7282/t3pz5dg3openalex-snapshot
Incremental Analysis for Flow- and Context-Sensitive Data-Flow Problems
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.