On the public citation graph

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

https://doi.org/10.1145/3565800
0 signed · 105 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.1002/spe.2214openalex-snapshot
Making context-sensitive inclusion-based pointer analysis practical for compilers using parameterised summarisation
inferredcites →https://doi.org/10.1007/3-540-44898-5_1openalex-snapshot
Precise Analysis of String Expressions
inferredcites →https://doi.org/10.1007/3-540-47764-0_16openalex-snapshot
Efficient Computation of Parameterized Pointer Information for Interprocedural Analyses
inferredcites →https://doi.org/10.1007/978-3-030-11245-5_13openalex-snapshot
Type-Directed Bounding of Collections in Reactive Programs
inferredcites →https://doi.org/10.1007/978-3-319-10936-7_9openalex-snapshot
Automatic Analysis of Open Objects in Dynamic Language Programs
inferredcites →https://doi.org/10.1007/978-3-319-26529-2_25openalex-snapshot
Bottom-Up Context-Sensitive Pointer Analysis for Java
inferredcites →https://doi.org/10.1007/978-3-319-26529-2_9openalex-snapshot
Abstraction of Optional Numerical Values
inferredcites →https://doi.org/10.1007/978-3-540-78800-3_24openalex-snapshot
Z3: An Efficient SMT Solver
inferredcites →https://doi.org/10.1007/978-3-642-02658-4_20openalex-snapshot
Cuts from Proofs: A Complete and Practical Technique for Solving Linear Inequalities over Integers
inferredcites →https://doi.org/10.1007/978-3-642-02658-4_52openalex-snapshot
Apron: A Library of Numerical Abstract Domains for Static Analysis
inferredcites →https://doi.org/10.1007/978-3-642-11319-2_27openalex-snapshot
Collections, Cardinalities, and Relations
inferredcites →https://doi.org/10.1007/978-3-642-11957-6_14openalex-snapshot
Fluid Updates: Beyond Strong vs. Weak Updates
inferredcites →https://doi.org/10.1007/978-3-642-15769-1_6openalex-snapshot
Statically Inferring Complex Heap, Array, and Numeric Invariants
inferredcites →https://doi.org/10.1007/978-3-642-18275-4_18openalex-snapshot
An Evaluation of Automata Algorithms for String Analysis
inferredcites →https://doi.org/10.1007/978-3-642-22110-1_53openalex-snapshot
FixBag: A Fixpoint Calculator for Quantified Bag Constraints
inferredcites →https://doi.org/10.1007/978-3-642-39038-8_17openalex-snapshot
QUIC Graphs: Relational Invariant Generation for Containers
inferredcites →https://doi.org/10.1007/978-3-642-54013-4_16openalex-snapshot
Modularly Combining Numeric Abstract Domains with Points-to Analysis, and a Scalable Static Numeric Analyzer for Java
inferredcites →https://doi.org/10.1007/978-3-642-54833-8_28openalex-snapshot
Targeted Update – Aggressive Memory Abstraction Beyond Common Sense and Its Application on Static Numeric Analysis
inferredcites →https://doi.org/10.1007/978-3-642-54862-8_9openalex-snapshot
GRASShopper
inferredcites →https://doi.org/10.1007/978-3-662-46669-8_20openalex-snapshot
Desynchronized Multi-State Abstractions for Open Programs in Dynamic Languages
inferredcites →https://doi.org/10.1016/0304-3975(96)00072-2openalex-snapshot
Precise interprocedural dataflow analysis with applications to constant propagation
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.1109/ase51524.2021.9678535openalex-snapshot
On the Real-World Effectiveness of Static Bug Detectors at Finding Null Pointer Exceptions
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/tcad.2018.2858462openalex-snapshot
Automatic Verification of Embedded System Code Manipulating Dynamic Structures Stored in Contiguous Regions
inferredcites →https://doi.org/10.1109/tpds.2020.3036190openalex-snapshot
Towards Efficient Large-Scale Interprocedural Program Static Analysis on Distributed Data-Parallel Computation
inferredcites →https://doi.org/10.1145/1029894.1029907openalex-snapshot
PSE
inferredcites →https://doi.org/10.1145/1040305.1040334openalex-snapshot
Scalable error detection using boolean satisfiability
inferredcites →https://doi.org/10.1145/1094811.1094817openalex-snapshot
Demand-driven points-to analysis for Java
inferredcites →https://doi.org/10.1145/1133255.1134026openalex-snapshot
Combining abstract interpreters
inferredcites →https://doi.org/10.1145/1134285.1134321openalex-snapshot
Static detection of leaks in polymorphic containers
inferredcites →https://doi.org/10.1145/1146238.1146254openalex-snapshot
Effective typestate verification in the presence of aliasing
inferredcites →https://doi.org/10.1145/115372.115320openalex-snapshot
Efficiently computing static single assignment form and the control dependence graph
inferredcites →https://doi.org/10.1145/1250734.1250748openalex-snapshot
Thin slicing
inferredcites →https://doi.org/10.1145/1250734.1250789openalex-snapshot
Practical memory leak detection using guarded value-flow analysis
inferredcites →https://doi.org/10.1145/1375581.1375624openalex-snapshot
Full functional verification of linked data structures
inferredcites →https://doi.org/10.1145/1391984.1391987openalex-snapshot
Evaluating the benefits of context-sensitive points-to analysis using a BDD-based implementation
inferredcites →https://doi.org/10.1145/1480881.1480912openalex-snapshot
A combination framework for tracking partition sizes
inferredcites →https://doi.org/10.1145/1542476.1542486openalex-snapshot
TAJ
inferredcites →https://doi.org/10.1145/1542476.1542522openalex-snapshot
Chameleon
inferredcites →https://doi.org/10.1145/1667048.1667050openalex-snapshot
A relational approach to interprocedural shape analysis
inferredcites →https://doi.org/10.1145/1706299.1706326openalex-snapshot
Automatic numeric abstractions for heap-manipulating programs
inferredcites →https://doi.org/10.1145/1926385.1926407openalex-snapshot
Precise reasoning for programs using containers
inferredcites →https://doi.org/10.1145/1993498.1993561openalex-snapshot
Verification of semantic commutativity conditions and inverse operations on linked data structures
inferredcites →https://doi.org/10.1145/2049697.2049700openalex-snapshot
Compositional Shape Analysis by Means of Bi-Abduction
inferredcites →https://doi.org/10.1145/215465.215466openalex-snapshot
Shape analysis as a generalized path problem
inferredcites →https://doi.org/10.1145/2259051.2259052openalex-snapshot
Inter-procedural data-flow analysis with IFDS/IDE and Soot
inferredcites →https://doi.org/10.1145/2377656.2377662openalex-snapshot
HAMPI
inferredcites →https://doi.org/10.1145/2491956.2462186openalex-snapshot
Thresher
inferredcites →https://doi.org/10.1145/2594291.2594299openalex-snapshot
FlowDroid
inferredcites →https://doi.org/10.1145/2594291.2594320openalex-snapshot
Introspective analysis
inferredcites →https://doi.org/10.1145/2635868.2635869openalex-snapshot
Apposcopy: semantics-based detection of Android malware through static analysis
inferredcites →https://doi.org/10.1145/2771783.2771815openalex-snapshot
S-looper: automatic summarization for multipath string loops
inferredcites →https://doi.org/10.1145/2892208.2892235openalex-snapshot
SVF: interprocedural static value-flow analysis in LLVM
inferredcites →https://doi.org/10.1145/2931098openalex-snapshot
Heap Abstractions for Static Analysis
inferredcites →https://doi.org/10.1145/3009837.3009881openalex-snapshot
Semantic-directed clumping of disjunctive abstract states
inferredcites →https://doi.org/10.1145/3092703.3092728openalex-snapshot
Accelerating array constraints in symbolic execution
inferredcites →https://doi.org/10.1145/3133923openalex-snapshot
IDE al : efficient and precise alias-aware dataflow analysis
inferredcites →https://doi.org/10.1145/3192366.3192383openalex-snapshot
Active learning of points-to specifications
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/3236024openalex-snapshot
Proceedings of the 2018 26th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering
inferredcites →https://doi.org/10.1145/3238147.3238218openalex-snapshot
Control flow-guided SMT solving for program verification
inferredcites →https://doi.org/10.1145/3276510openalex-snapshot
Precise and scalable points-to analysis via data-driven context tunneling
inferredcites →https://doi.org/10.1145/3302424.3303972openalex-snapshot
Grapple
inferredcites →https://doi.org/10.1145/3314221.3314610openalex-snapshot
Computing summaries of string loops in C for better testing and refactoring
inferredcites →https://doi.org/10.1145/3314221.3314640openalex-snapshot
Unsupervised learning of API aliasing specifications
inferredcites →https://doi.org/10.1145/3338112openalex-snapshot
Scaling static analyses at Facebook
inferredcites →https://doi.org/10.1145/3368089.3417059openalex-snapshot
Scaling static taint analysis to industrial SOA applications: a case study at Alibaba
inferredcites →https://doi.org/10.1145/3377555.3377885openalex-snapshot
Scalable pointer analysis of data structures using semantic models
inferredcites →https://doi.org/10.1145/3377811.3380346openalex-snapshot
Conquering the extensional scalability problem for value-flow analysis frameworks
inferredcites →https://doi.org/10.1145/3381915openalex-snapshot
A Principled Approach to Selective Context Sensitivity for Pointer Analysis
inferredcites →https://doi.org/10.1145/3385412.3386026openalex-snapshot
Static analysis of Java enterprise applications: frameworks and caches, the elephants in the room
inferredcites →https://doi.org/10.1145/3395363.3397378openalex-snapshot
Fast bit-vector satisfiability
inferredcites →https://doi.org/10.1145/3453483.3454068openalex-snapshot
Boosting SMT solver performance on mixed-bitwise-arithmetic expressions
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.3454086openalex-snapshot
Path-sensitive sparse analysis without path conditions
inferredcites →https://doi.org/10.1145/3460319.3464826openalex-snapshot
Type and interval aware array constraint solving for symbolic execution
inferredcites →https://doi.org/10.1145/3503221.3508424openalex-snapshot
Interference relation-guided SMT solving for multi-threaded program verification
inferredcites →https://doi.org/10.1145/3527312openalex-snapshot
Complexity-guided container replacement synthesis
inferredcites →https://doi.org/10.1145/512950.512973openalex-snapshot
Abstract interpretation
inferredcites →https://doi.org/10.1145/514188.514190openalex-snapshot
Parametric shape analysis via 3-valued logic
inferredcites →https://doi.org/10.1145/567752.567778openalex-snapshot
Systematic design of program analysis frameworks
inferredcites →https://doi.org/10.1145/77606.77608openalex-snapshot
Interprocedural slicing using dependence graphs
inferredcites →https://doi.org/10.1561/2500000037openalex-snapshot
Shape Analysis
inferredcites →https://doi.org/10.4230/lipics.ecoop.2016.15openalex-snapshot
Program Tailoring: Slicing by Sequential Criteria
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.48550/arxiv.2109.07923openalex-snapshot
Efficient Path-Sensitive Data-Dependence Analysis

What points at this work

Incoming claims: where this work appears in other papers’ reference lists and arguments.

inferred← citeshttps://doi.org/10.1007/s10664-025-10720-3openalex-snapshot
PANDA: Accelerating single-source value flow defect detection via parallel computing
inferred← citeshttps://doi.org/10.1016/j.cose.2025.104821openalex-snapshot
SemTaint: A scalable taint analysis approach for JavaWeb frameworks and composite containers
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.1108/ftpgl-11-2025-0068openalex-snapshot
Neurosymbolic code auditing
inferred← citeshttps://doi.org/10.1109/apsec60848.2023.00035openalex-snapshot
P-DATA: A Task-Level Parallel Framework for Dependency-Aware Value Flow Taint Analysis
inferred← citeshttps://doi.org/10.1109/csecs60003.2023.10428132openalex-snapshot
Accelerating High-Precision Vulnerability Detection in C Programs with Parallel Graph Summarization
inferred← citeshttps://doi.org/10.1109/icse55347.2025.00055openalex-snapshot
Preserving Privacy in Software Composition Analysis: A Study of Technical Solutions and Enhancements
inferred← citeshttps://doi.org/10.1109/icse55347.2025.00195openalex-snapshot
Boosting Path-Sensitive Value Flow Analysis Via Removal of Redundant Summaries
inferred← citeshttps://doi.org/10.1145/3632743openalex-snapshot
Octopus : Scaling Value-Flow Analysis via Parallel Collection of Realizable Path Conditions
inferred← citeshttps://doi.org/10.1145/3671016.3671385openalex-snapshot
Accelerating Static Null Pointer Dereference Detection with Parallel Computing
inferred← citeshttps://doi.org/10.1145/3689031.3717487openalex-snapshot
Seal: Towards Diverse Specification Inference for Linux Interfaces from Security Patches
inferred← citeshttps://doi.org/10.1145/3690931.3690951openalex-snapshot
Exploring Scalability of Value-Flow Graph Construction
inferred← citeshttps://doi.org/10.1145/3719027.3744826openalex-snapshot
Validating Interior Gateway Routing Protocols via Equivalent Topology Synthesis
inferred← citeshttps://doi.org/10.1145/3725214openalex-snapshot
SILVA: A Scalable Incremental Layered Sparse Value-Flow Analysis
inferred← citeshttps://doi.org/10.1145/3728882openalex-snapshot
KRAKEN: Program-Adaptive Parallel Fuzzing
inferred← citeshttps://doi.org/10.1145/3798211openalex-snapshot
Hermes: Making Path-Sensitive Pointer Analysis Scalable for Sparse Value-Flow Analysis
inferred← citeshttps://doi.org/10.1145/3828165openalex-snapshot
Go With the Flow: Improving the Precision of Static Data Flow Analysis with Context-Sensitive Sinks
inferred← citeshttps://doi.org/10.1145/3832783.3837421openalex-snapshot
SIMD-Accelerated Sparse Bit-Vectors for Pointer 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.