On the public citation graph

Heap Abstractions for Static Analysis

0 signed · 170 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.

Claim with ORCID

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.

See reference health

What this work says

Outgoing claims: the papers this work cites, builds on, or argues with.

inferredcites →https://doi.org/10.1007/11575467_19openalex-snapshot

Termination Analysis of Higher-Order Functional Programs

inferredcites →https://doi.org/10.1007/11609773_3openalex-snapshot

Combining Shape Analyses by Intersecting Abstractions

inferredcites →https://doi.org/10.1007/11691372_19openalex-snapshot

A Local Shape Analysis Based on Separation Logic

inferredcites →https://doi.org/10.1007/11817963_47openalex-snapshot

Programs with Lists Are Counter Automata

inferredcites →https://doi.org/10.1007/11823230_15openalex-snapshot

Recency-Abstraction for Heap-Allocated Storage

inferredcites →https://doi.org/10.1007/11823230_16openalex-snapshot

Interprocedural Shape Analysis with Separated Heap Abstractions

inferredcites →https://doi.org/10.1007/11823285_33openalex-snapshot

Towards a Versatile Pointer Analysis Framework

inferredcites →https://doi.org/10.1007/3-540-36579-6_10openalex-snapshot

Dimensions of Precision in Reference Analysis of Object-Oriented Programming Languages

inferredcites →https://doi.org/10.1007/3-540-44898-5_12openalex-snapshot

Client-Driven Pointer Analysis

inferredcites →https://doi.org/10.1007/3-540-44898-5_27openalex-snapshot

Establishing Local Temporal Heap Safety Properties with Applications to Compile-Time Memory Management

inferredcites →https://doi.org/10.1007/3-540-45294-x_10openalex-snapshot

Computability and Complexity Results for a Spatial Assertion Language for Data Structures

inferredcites →https://doi.org/10.1007/3-540-48166-4_15openalex-snapshot

Data-Flow Analysis of Program Fragments

inferredcites →https://doi.org/10.1007/3-540-57502-2_61openalex-snapshot

Designing the McCAT compiler based on a family of structured intermediate representations

inferredcites →https://doi.org/10.1007/978-3-319-10882-7_12openalex-snapshot

Precise Interprocedural Side-Effect Analysis

inferredcites →https://doi.org/10.1007/978-3-540-30579-8_28openalex-snapshot

Generalized Typestate Checking for Data Structure Consistency

inferredcites →https://doi.org/10.1007/978-3-540-31985-6_16openalex-snapshot

Hob: A Tool for Verifying Data Structure Consistency

inferredcites →https://doi.org/10.1007/978-3-540-45099-3_9openalex-snapshot

Unified Analysis of Array and Object References in Strongly Typed Languages

inferredcites →https://doi.org/10.1007/978-3-642-23702-7_6openalex-snapshot

Purity Analysis: An Abstract Interpretation Formulation

inferredcites →https://doi.org/10.1007/978-3-642-31057-7_29openalex-snapshot

Scalable Flow-Sensitive Pointer Analysis for Java with Strong Updates

inferredcites →https://doi.org/10.1007/978-3-642-33125-1_19openalex-snapshot

Liveness-Based Pointer Analysis

inferredcites →https://doi.org/10.1007/978-3-642-36946-9_8openalex-snapshot

Alias Analysis for Object-Oriented Programs

inferredcites →https://doi.org/10.1007/978-3-642-38856-9_15openalex-snapshot

Precise Slicing in Imperative Programs via Term-Rewriting and Abstract Interpretation

inferredcites →https://doi.org/10.1007/978-3-642-48354-7_17openalex-snapshot

An Axiomatic Basis for Computer Programming

inferredcites →https://doi.org/10.1007/978-3-642-54807-9_5openalex-snapshot

Liveness-Based Garbage Collection

inferredcites →https://doi.org/10.1007/978-3-662-03811-6openalex-snapshot

Principles of Program Analysis

inferredcites →https://doi.org/10.1007/bfb0032731openalex-snapshot

The effects of the precision of pointer analysis

inferredcites →https://doi.org/10.1016/s0167-6423(99)00007-6openalex-snapshot

Introduction to set constraint-based program analysis

inferredcites →https://doi.org/10.1016/s0950-5849(98)00093-7openalex-snapshot

Program analysis via graph reachability

inferredcites →https://doi.org/10.1090/s0002-9947-1953-0053041-6openalex-snapshot

Classes of Recursively Enumerable Sets and Their Decision Problems

inferredcites →https://doi.org/10.1108/ir.1999.04926fae.001openalex-snapshot

Lecture Notes in Computer Science 1205

inferredcites →https://doi.org/10.1109/71.80123openalex-snapshot

Parallelizing programs with recursive data structures

inferredcites →https://doi.org/10.1109/lics.2002.1029817openalex-snapshot

Separation logic: a logic for shared mutable data structures

inferredcites →https://doi.org/10.1109/pmmp.1993.315553openalex-snapshot

Interprocedural heap analysis for parallelizing imperative programs

inferredcites →https://doi.org/10.1109/tse.2006.125openalex-snapshot

Modular Pluggable Analyses for Data Structure Consistency

inferredcites →https://doi.org/10.1109/tse.2012.69openalex-snapshot

Abstracting runtime heaps for program understanding

inferredcites →https://doi.org/10.1142/9789814271059_0007openalex-snapshot

Reasoning about Heap Manipulating Programs using Automata Techniques

inferredcites →https://doi.org/10.1145/1040305.1040330openalex-snapshot

A semantics for procedure local heaps and its abstractions

inferredcites →https://doi.org/10.1145/1064979.1064996openalex-snapshot

Escape analysis in the context of dynamic compilation and deoptimization

inferredcites →https://doi.org/10.1145/1108768.1108798openalex-snapshot

Evaluating and tuning a static analysis to find null pointer bugs

inferredcites →https://doi.org/10.1145/1108792.1108798openalex-snapshot

Evaluating and tuning a static analysis to find null pointer bugs

inferredcites →https://doi.org/10.1145/1133255.1134027openalex-snapshot

Refinement-based context-sensitive points-to analysis 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/1232420.1232423openalex-snapshot

Saturn

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/1290520.1290521openalex-snapshot

Heap reference analysis using access graphs

inferredcites →https://doi.org/10.1145/1290520.1290524openalex-snapshot

Efficient field-sensitive pointer analysis of C

inferredcites →https://doi.org/10.1145/1390630.1390658openalex-snapshot

Merging equivalent contexts for scalable heap-cloning-based context-sensitive points-to analysis

inferredcites →https://doi.org/10.1145/143095.143137openalex-snapshot

A safe approximate algorithm for interprocedural aliasing

inferredcites →https://doi.org/10.1145/143103.143137openalex-snapshot

A safe approximate algorithm for interprocedural aliasing

inferredcites →https://doi.org/10.1145/1480881.1480911openalex-snapshot

Semi-sparse flow-sensitive pointer analysis

inferredcites →https://doi.org/10.1145/158511.158628openalex-snapshot

Graph types

inferredcites →https://doi.org/10.1145/1594834.1480917openalex-snapshot

Compositional shape analysis by means of bi-abduction

inferredcites →https://doi.org/10.1145/178243.178263openalex-snapshot

Interprocedural may-alias analysis for pointers

inferredcites →https://doi.org/10.1145/186025.186041openalex-snapshot

The undecidability of aliasing

inferredcites →https://doi.org/10.1145/1925844.1926390openalex-snapshot

Pick your contexts well

inferredcites →https://doi.org/10.1145/1926385.1926389openalex-snapshot

Points-to analysis with efficient strong updates

inferredcites →https://doi.org/10.1145/1926385.1926390openalex-snapshot

Pick your contexts well

inferredcites →https://doi.org/10.1145/1953355.1953368openalex-snapshot

Static program analysis of large embedded code base

inferredcites →https://doi.org/10.1145/1993316.1993567openalex-snapshot

Scaling abstraction refinement via pruning

inferredcites →https://doi.org/10.1145/1993498.1993567openalex-snapshot

Scaling abstraction refinement via pruning

inferredcites →https://doi.org/10.1145/2048066.2048144openalex-snapshot

Null dereference verification via over-approximated weakest pre-conditions analysis

inferredcites →https://doi.org/10.1145/2049697.2049700openalex-snapshot

Compositional Shape Analysis by Means of Bi-Abduction

inferredcites →https://doi.org/10.1145/2259016.2259049openalex-snapshot

Efficient bottom-up heap analysis for symbolic path-based data access summaries

inferredcites →https://doi.org/10.1145/236337.236367openalex-snapshot

Simple and effective analysis of statically-typed object-oriented programs

inferredcites →https://doi.org/10.1145/237721.237724openalex-snapshot

Is it a tree, a DAG, or a cyclic graph? A shape analysis for heap-directed pointers in C

inferredcites →https://doi.org/10.1145/237721.237725openalex-snapshot

Solving shape-analysis problems in languages with destructive updating

inferredcites →https://doi.org/10.1145/237721.237727openalex-snapshot

Points-to analysis in almost linear time

inferredcites →https://doi.org/10.1145/239912.239913openalex-snapshot

Precise flow-insensitive may-alias analysis is NP-hard

inferredcites →https://doi.org/10.1145/2487568.2487569openalex-snapshot

Interprocedural data flow analysis in Soot using value contexts

inferredcites →https://doi.org/10.1145/2491956.2462186openalex-snapshot

Thresher

inferredcites →https://doi.org/10.1145/258915.258936openalex-snapshot

Automatic verification of pointer programs using monadic second-order logic

inferredcites →https://doi.org/10.1145/258916.258936openalex-snapshot

Automatic verification of pointer programs using monadic second-order logic

inferredcites →https://doi.org/10.1145/2594291.2594328openalex-snapshot

Hybrid top-down and bottom-up interprocedural analysis

inferredcites →https://doi.org/10.1145/2644805openalex-snapshot

In defense of soundiness

inferredcites →https://doi.org/10.1145/268946.268957openalex-snapshot

Putting pointer analysis to work

inferredcites →https://doi.org/10.1145/271510.271517openalex-snapshot

Solving shape-analysis problems in languages with destructive updating

inferredcites →https://doi.org/10.1145/277631.277637openalex-snapshot

Detecting memory errors via static pointer analysis (preliminary experience)

inferredcites →https://doi.org/10.1145/2814270.2814293openalex-snapshot

Selective control-flow abstraction via jumping

inferredcites →https://doi.org/10.1145/292540.292552openalex-snapshot

Parametric shape analysis via 3-valued logic

inferredcites →https://doi.org/10.1145/2926697.2926698openalex-snapshot

Liveness-based garbage collection for lazy languages

inferredcites →https://doi.org/10.1145/318774.318945openalex-snapshot

Data-flow analysis of program fragments

inferredcites →https://doi.org/10.1145/318789.318812openalex-snapshot

Intererence analysis tools for parallelizing programs with recursive data structures

inferredcites →https://doi.org/10.1145/325478.325519openalex-snapshot

Interprocedural pointer alias analysis

inferredcites →https://doi.org/10.1145/347324.348031openalex-snapshot

Putting static analysis to work for verification

inferredcites →https://doi.org/10.1145/347324.348916openalex-snapshot

Which pointer analysis should I use?

inferredcites →https://doi.org/10.1145/347636.348916openalex-snapshot

Which pointer analysis should I use?

inferredcites →https://doi.org/10.1145/353171.353189openalex-snapshot

Practical virtual method call resolution for Java

inferredcites →https://doi.org/10.1145/360204.360206openalex-snapshot

Verifying safety properties of concurrent Java programs using 3-valued logic

inferredcites →https://doi.org/10.1145/363235.363259openalex-snapshot

An axiomatic basis for computer programming

inferredcites →https://doi.org/10.1145/378795.378804openalex-snapshot

Incrementalized pointer and escape analysis

inferredcites →https://doi.org/10.1145/378795.378851openalex-snapshot

The pointer assertion logic engine

inferredcites →https://doi.org/10.1145/379605.379665openalex-snapshot

Pointer analysis

inferredcites →https://doi.org/10.1145/381694.378804openalex-snapshot

Incrementalized pointer and escape analysis

inferredcites →https://doi.org/10.1145/48022.48025openalex-snapshot

Analysis of functional programs to detect run-time garbage cells

inferredcites →https://doi.org/10.1145/53990.53993openalex-snapshot

Detecting conflicts between structure accesses

inferredcites →https://doi.org/10.1145/566171.566174openalex-snapshot

Parameterized object sensitivity for points-to and side-effect analyses for Java

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/567752.567776openalex-snapshot

Flow analysis and optimization of LISP-like structures

inferredcites →https://doi.org/10.1145/586088.586089openalex-snapshot

On the usefulness of type and liveness accuracy for garbage collection and leak detection

inferredcites →https://doi.org/10.1145/604131.604142openalex-snapshot

New results on the computability and complexity of points--to analysis

inferredcites →https://doi.org/10.1145/774572.774594openalex-snapshot

Symbolic pointer analysis

inferredcites →https://doi.org/10.1145/777388.777395openalex-snapshot

Storeless semantics and alias logic

inferredcites →https://doi.org/10.1145/781131.781144openalex-snapshot

Points-to analysis using BDDs

inferredcites →https://doi.org/10.1145/93542.93585openalex-snapshot

Analysis of pointers and structures

inferredcites →https://doi.org/10.1145/93548.93585openalex-snapshot

Analysis of pointers and structures

inferredcites →https://doi.org/10.1145/960116.53993openalex-snapshot

Detecting conflicts between structure accesses

inferredcites →https://doi.org/10.1145/966049.777395openalex-snapshot

Storeless semantics and alias logic

inferredcites →https://doi.org/10.1145/996821.996836openalex-snapshot

Importance of heap specialization in pointer analysis

inferredcites →https://doi.org/10.1145/996841.996859openalex-snapshot

Cloning-based context-sensitive pointer alias analysis using binary decision diagrams

inferredcites →https://doi.org/10.1145/996893.996859openalex-snapshot

Cloning-based context-sensitive pointer alias analysis using binary decision diagrams

inferredcites →https://doi.org/10.1201/9781420040579.ch5openalex-snapshot

Shape Analysis and Applications

inferredcites →https://doi.org/10.1201/9781420043839openalex-snapshot

The Compiler Design Handbook

inferredcites →https://doi.org/10.1201/9781420043839.ch12openalex-snapshot

Shape Analysis and Applications

inferredcites →https://doi.org/10.1561/2500000014openalex-snapshot

Pointer Analysis

inferredcites →https://doi.org/10.3233/978-1-61499-041-3-99openalex-snapshot

Heap Dependence Analysis for Sequential Programs

inferredcites →https://doi.org/10.4230/dagrep.3.4.91openalex-snapshot

Pointer Analysis (Dagstuhl Seminar 13162)

inferredcites →https://doi.org/10.5555/1760267.1760303openalex-snapshot

Static analysis of accessed regions in recursive data structures

inferredcites →https://doi.org/10.7146/brics.v7i39.20205openalex-snapshot

The Pointer Assertion Logic Engine

inferredcites →https://doi.org/10.7551/mitpress/4283.003.0008openalex-snapshot

Program Analysis via Graph Reachability

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-031-24950-1_4openalex-snapshot

Symbolic Abstract Heaps for Polymorphic Information-Flow Guard Inference

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.1016/j.scico.2020.102391openalex-snapshot

Bidirectionality in flow-sensitive demand-driven analysis

inferred← citeshttps://doi.org/10.1108/ftpgl-11-2025-0068openalex-snapshot

Neurosymbolic code auditing

inferred← citeshttps://doi.org/10.1109/ase63991.2025.00269openalex-snapshot

Context-Sensitive Pointer Analysis for ArkTS

inferred← citeshttps://doi.org/10.1109/csf.2017.19openalex-snapshot

A Sound Flow-Sensitive Heap Abstraction for the Static Analysis of Android Applications

inferred← citeshttps://doi.org/10.1109/icse-nier58687.2023.00013openalex-snapshot

Handling Communication via APIs for Microservices

inferred← citeshttps://doi.org/10.1109/icws55610.2022.00027openalex-snapshot

Handling Memory Pointers in Communication between Microservices

inferred← citeshttps://doi.org/10.1109/isca45697.2020.00024openalex-snapshot

T4: Compiling Sequential Code for Effective Speculative Parallelization in Hardware

inferred← citeshttps://doi.org/10.1109/saner67736.2026.00114openalex-snapshot

Static Analysis Traces can Help Dynamic Symbolic Execution: a Replication Study

inferred← citeshttps://doi.org/10.1109/sp40001.2021.00114openalex-snapshot

NtFuzz: Enabling Type-Aware Kernel Fuzzing on Windows with Static Binary Analysis

inferred← citeshttps://doi.org/10.1145/3062341.3062360openalex-snapshot

Efficient and precise points-to analysis: modeling the heap by merging equivalent automata

inferred← citeshttps://doi.org/10.1145/3092255.3092267openalex-snapshot

"What's in a name?" going beyond allocation site names in heap analysis

inferred← citeshttps://doi.org/10.1145/3133923openalex-snapshot

IDE al : efficient and precise alias-aware dataflow analysis

inferred← citeshttps://doi.org/10.1145/3140587.3062360openalex-snapshot

Efficient and precise points-to analysis: modeling the heap by merging equivalent automata

inferred← citeshttps://doi.org/10.1145/3156685.3092267openalex-snapshot

"What's in a name?" going beyond allocation site names in heap analysis

inferred← citeshttps://doi.org/10.1145/3236454.3236500openalex-snapshot

The secret sauce in efficient and precise static analysis

inferred← citeshttps://doi.org/10.1145/3276511openalex-snapshot

Precision-guided context sensitivity for pointer analysis

inferred← citeshttps://doi.org/10.1145/3276512openalex-snapshot

Refinement in object-sensitivity points-to analysis via slicing

inferred← citeshttps://doi.org/10.1145/3290361openalex-snapshot

Context-, flow-, and field-sensitive data-flow analysis using synchronized Pushdown systems

inferred← citeshttps://doi.org/10.1145/3293882.3339001openalex-snapshot

Androlic: an extensible flow, context, object, field, and path-sensitive static analysis framework for Android

inferred← citeshttps://doi.org/10.1145/3324884.3418931openalex-snapshot

A hybrid analysis to detect Java serialisation vulnerabilities

inferred← citeshttps://doi.org/10.1145/3377555.3377902openalex-snapshot

Mix your contexts well: opportunities unleashed by recent advances in scaling context-sensitivity

inferred← citeshttps://doi.org/10.1145/3381915openalex-snapshot

A Principled Approach to Selective Context Sensitivity for Pointer Analysis

inferred← citeshttps://doi.org/10.1145/3382092openalex-snapshot

Generalized Points-to Graphs

inferred← citeshttps://doi.org/10.1145/3426428.3426923openalex-snapshot

How (not) to write Java pointer analyses after 2020

inferred← citeshttps://doi.org/10.1145/3485524openalex-snapshot

Making pointer analysis more precise by unleashing the power of selective context sensitivity

inferred← citeshttps://doi.org/10.1145/3527312openalex-snapshot

Complexity-guided container replacement synthesis

inferred← citeshttps://doi.org/10.1145/3551349.3556910openalex-snapshot

Jasmine: A Static Analysis Framework for Spring Core Technologies

inferred← citeshttps://doi.org/10.1145/3565800openalex-snapshot

Anchor : Fast and Precise Value-flow Analysis for Containers via Memory Orientation

inferred← citeshttps://doi.org/10.1145/3591242openalex-snapshot

Context Sensitivity without Contexts: A Cut-Shortcut Approach to Fast and Precise Pointer Analysis

inferred← citeshttps://doi.org/10.1145/3611643.3613889openalex-snapshot

Compositional Taint Analysis for Enforcing Security Policies at Scale

inferred← citeshttps://doi.org/10.1145/3650212.3652110openalex-snapshot

Precise Compositional Buffer Overflow Detection via Heap Disjointness

inferred← citeshttps://doi.org/10.1145/3656400openalex-snapshot

Falcon: A Fused Approach to Path-Sensitive Sparse Data Dependence Analysis

inferred← citeshttps://doi.org/10.1145/3689804openalex-snapshot

Boosting the Performance of Alias-Aware IFDS Analysis with CFL-Based Environment Transformers

inferred← citeshttps://doi.org/10.1145/3763111openalex-snapshot

Towards a Theoretically-Backed and Practical Framework for Selective Object-Sensitive Pointer Analysis

inferred← citeshttps://doi.org/10.1145/3818615openalex-snapshot

Cut-Shortcut Whole-Program Pointer Analysis: Re-Imagining Context-Sensitivity without Contexts

inferred← citeshttps://doi.org/10.1145/3839485openalex-snapshot

Heap Abstraction via Early-Confluent Object Merging for Pointer Analysis

inferred← citeshttps://doi.org/10.1145/3839521openalex-snapshot

Tracking Borrows with Regular Expressions

inferred← citeshttps://doi.org/10.1145/3842651.3843183openalex-snapshot

IAIA: Interrupt-Aware Index Analysis for SSD Firmware

inferred← citeshttps://doi.org/10.1145/3843775.3844542openalex-snapshot

Pattern-Guided Static Analysis for APIfication of COBOL Monoliths

inferred← citeshttps://doi.org/10.1145/3843775.3844546openalex-snapshot

AI Meets Program Analysis: Lessons from a Decade of Enterprise Software Modernization at IBM

inferred← citeshttps://doi.org/10.14722/ndss.2021.24550openalex-snapshot

SerialDetector: Principled and Practical Exploration of Object Injection Vulnerabilities for the Web

inferred← citeshttps://doi.org/10.15476/elte.2020.212openalex-snapshot

Static Analyses for C++ in the Presence of Separate Compilation

inferred← citeshttps://doi.org/10.15546/aeei-2020-0020openalex-snapshot

IMPROVING THE PRECISION OF FLOW-SENSITIVE LIFETIME ANALYSIS

inferred← citeshttps://doi.org/10.1561/9781680830217openalex-snapshot

Pointer Analysis

inferred← citeshttps://doi.org/10.23919/fmcad.2018.8603009openalex-snapshot

Template-Based Verification of Heap-Manipulating Programs

inferred← citeshttps://doi.org/10.48550/arxiv.1801.09189openalex-snapshot

Generalized Points-to Graphs: A New Abstraction of Memory in the Presence of Pointers

inferred← citeshttps://doi.org/10.48550/arxiv.1802.00932openalex-snapshot

Demand-driven Alias Analysis : Formalizing Bidirectional Analyses for Soundness and Precision

inferred← citeshttps://doi.org/10.48550/arxiv.1912.00429openalex-snapshot

PointEval: On the Impact of Pointer Analysis Frameworks

inferred← citeshttps://doi.org/10.48550/arxiv.2109.07923openalex-snapshot

Efficient Path-Sensitive Data-Dependence Analysis

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.