On the public citation graph
Context-, flow-, and field-sensitive data-flow analysis using synchronized Pushdown systems
0 signed · 127 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/10722167_20openalex-snapshot
Efficient Algorithms for Model Checking Pushdown Systems
inferredcites →https://doi.org/10.1007/11513988_44openalex-snapshot
Extended Weighted Pushdown Systems
inferredcites →https://doi.org/10.1007/11817963_32openalex-snapshot
Improving Pushdown System Model Checking
inferredcites →https://doi.org/10.1007/3-540-36579-6_12openalex-snapshot
Scaling Java Points-to Analysis Using Spark
inferredcites →https://doi.org/10.1007/3-540-63141-0_10openalex-snapshot
Reachability analysis of pushdown automata: Application to model-checking
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-319-26529-2_25openalex-snapshot
Bottom-Up Context-Sensitive Pointer Analysis for Java
inferredcites →https://doi.org/10.1007/978-3-540-69166-2_7openalex-snapshot
Solving Multiple Dataflow Queries Using WPDSs
inferredcites →https://doi.org/10.1007/978-3-540-77050-3_4openalex-snapshot
Program Analysis Using Weighted Pushdown Systems
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-11957-6_30openalex-snapshot
CFA2: A Context-Free Approach to Control-Flow Analysis
inferredcites →https://doi.org/10.1007/978-3-642-11970-5_8openalex-snapshot
Practical Extensions to the IFDS Algorithm
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-36946-9_8openalex-snapshot
Alias Analysis for Object-Oriented Programs
inferredcites →https://doi.org/10.1007/978-3-642-37057-1_15openalex-snapshot
Andromeda: Accurate and Scalable Security Analysis of Web Applications
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.1016/j.scico.2005.02.009openalex-snapshot
Weighted pushdown systems and their application to interprocedural dataflow analysis
inferredcites →https://doi.org/10.1109/ase.2015.9openalex-snapshot
Access-Path Abstraction: Scaling Field-Sensitive Data-Flow Analysis with Unbounded Access Paths (T)
inferredcites →https://doi.org/10.1109/icse.2009.5070515openalex-snapshot
Accurate Interprocedural Null-Dereference Analysis for Java
inferredcites →https://doi.org/10.1109/tse.1986.6312929openalex-snapshot
Typestate: A programming language concept for enhancing software reliability
inferredcites →https://doi.org/10.1109/tse.2019.2948910openalex-snapshot
CrySL: An Extensible Approach to Validating the Correct Usage of Cryptographic APIs
inferredcites →https://doi.org/10.1145/1094811.1094817openalex-snapshot
Demand-driven points-to analysis for Java
inferredcites →https://doi.org/10.1145/1094811.1094840openalex-snapshot
Finding application errors and security flaws using PQL
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/1290520.1290521openalex-snapshot
Heap reference analysis using access graphs
inferredcites →https://doi.org/10.1145/1348250.1348255openalex-snapshot
Effective typestate verification in the presence of aliasing
inferredcites →https://doi.org/10.1145/1595696.1595701openalex-snapshot
Static data race detection for concurrent programs with asynchronous calls
inferredcites →https://doi.org/10.1145/178243.178263openalex-snapshot
Interprocedural may-alias analysis for pointers
inferredcites →https://doi.org/10.1145/1806596.1806631openalex-snapshot
Resolving and exploiting the k -CFA paradox
inferredcites →https://doi.org/10.1145/199448.199462openalex-snapshot
Precise interprocedural dataflow analysis via graph reachability
inferredcites →https://doi.org/10.1145/2001420.2001440openalex-snapshot
Demand-driven context-sensitive alias analysis for Java
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/2364527.2364576openalex-snapshot
Introspective pushdown analysis of higher-order programs
inferredcites →https://doi.org/10.1145/2398856.2364576openalex-snapshot
Introspective pushdown analysis of higher-order programs
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.2462159openalex-snapshot
Fast algorithms for Dyck-CFL-reachability with applications to alias analysis
inferredcites →https://doi.org/10.1145/2635868.2635878openalex-snapshot
FlowTwist: efficient context-sensitive inside-out taint analysis for large codebases
inferredcites →https://doi.org/10.1145/2837614.2837631openalex-snapshot
Pushdown control-flow analysis for free
inferredcites →https://doi.org/10.1145/2837614.2837659openalex-snapshot
Newtonian program analysis via tensor product
inferredcites →https://doi.org/10.1145/2931098openalex-snapshot
Heap Abstractions for Static Analysis
inferredcites →https://doi.org/10.1145/3009837.3009848openalex-snapshot
Context-sensitive data-dependence analysis via linear conjunctive language reachability
inferredcites →https://doi.org/10.1145/3088515.3088517openalex-snapshot
A Datalog model of must-alias analysis
inferredcites →https://doi.org/10.1145/3133923openalex-snapshot
IDE al : efficient and precise alias-aware dataflow analysis
inferredcites →https://doi.org/10.1145/3133926openalex-snapshot
P/Taint: unified points-to and taint analysis
inferredcites →https://doi.org/10.1145/3158118openalex-snapshot
Optimal Dyck reachability for data-dependence and alias analysis
inferredcites →https://doi.org/10.1145/3178372.3179519openalex-snapshot
An efficient data structure for must-alias analysis
inferredcites →https://doi.org/10.1145/3236454.3236500openalex-snapshot
The secret sauce in efficient and precise static analysis
inferredcites →https://doi.org/10.1145/345099.345137openalex-snapshot
Undecidability of context-sensitive data-dependence analysis
inferredcites →https://doi.org/10.1145/349299.349311openalex-snapshot
Modular interprocedural pointer analysis using access paths
inferredcites →https://doi.org/10.1145/512927.512945openalex-snapshot
A unified approach to global program optimization
inferredcites →https://doi.org/10.4204/eptcs.150.6openalex-snapshot
Data-flow Analysis of Programs with Associative Arrays
inferredcites →https://doi.org/10.4230/lipics.ecoop.2016.22openalex-snapshot
Boomerang: Demand-Driven Flow- and Context-Sensitive Pointer Analysis for Java
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-030-17465-1_22openalex-snapshot
PhASAR: An Inter-procedural Static Analysis Framework for C/C++
inferred← citeshttps://doi.org/10.1007/978-3-030-44914-8_25openalex-snapshot
ConSORT: Context- and Flow-Sensitive Ownership Refinement Types for Imperative Programs
inferred← citeshttps://doi.org/10.1007/978-3-030-44914-8_5openalex-snapshot
Optimal and Perfectly Parallel Algorithms for On-demand Data-Flow Analysis
inferred← citeshttps://doi.org/10.1007/978-3-030-58617-1openalex-snapshot
Ernst Denert Award for Software Engineering 2019
inferred← citeshttps://doi.org/10.1007/978-3-030-58617-1_3openalex-snapshot
Applications of Synchronized Pushdown Systems
inferred← citeshttps://doi.org/10.1007/978-3-030-64437-6_1openalex-snapshot
A Set-Based Context Model for Program Analysis
inferred← citeshttps://doi.org/10.1007/978-3-030-71500-7_12openalex-snapshot
Effects of Program Representation on Pointer Analyses — An Empirical Study
inferred← citeshttps://doi.org/10.1007/978-3-031-17108-6_5openalex-snapshot
Field-Sensitive Program Slicing
inferred← citeshttps://doi.org/10.1007/978-3-031-24950-1_9openalex-snapshot
Efficient Interprocedural Data-Flow Analysis Using Treedepth and Treewidth
inferred← citeshttps://doi.org/10.1007/978-3-031-44245-2_12openalex-snapshot
Mutual Refinements of Context-Free Language Reachability
inferred← citeshttps://doi.org/10.1007/978-3-031-44245-2_20openalex-snapshot
Lifting On-Demand Analysis to Higher-Order Languages
inferred← citeshttps://doi.org/10.1007/s00224-023-10159-3openalex-snapshot
Rational Index of Languages Defined by Grammars with Bounded Dimension of Parse Trees
inferred← citeshttps://doi.org/10.1007/s10009-025-00787-0openalex-snapshot
CFL-based methods for approximating interleaved Dyck reachability
inferred← citeshttps://doi.org/10.1007/s10009-026-00864-yopenalex-snapshot
FastMatrixCFPQ: an efficient linear-algebra-based approach to CFL-reachability
inferred← citeshttps://doi.org/10.1016/j.ijcip.2021.100430openalex-snapshot
ARTINALI#: An Efficient Intrusion Detection Technique for Resource-Constrained Cyber-Physical Systems
inferred← citeshttps://doi.org/10.1016/j.ipl.2021.106135openalex-snapshot
Tight bounds for reachability problems on one-counter and pushdown systems
inferred← citeshttps://doi.org/10.1016/j.jlamp.2024.101016openalex-snapshot
The expression dependence graph
inferred← citeshttps://doi.org/10.1016/j.jss.2021.111016openalex-snapshot
ARTINALI++: Multi-dimensional Specification Mining for Complex Cyber-Physical System Security
inferred← citeshttps://doi.org/10.1016/j.jss.2023.111939openalex-snapshot
Field-sensitive program slicing
inferred← citeshttps://doi.org/10.1016/j.scico.2025.103278openalex-snapshot
Modular unification of unilingual pointer analyses to multilingual FFI-based programs
inferred← citeshttps://doi.org/10.1109/access.2019.2951168openalex-snapshot
Memory Leak Detection in IoT Program Based on an Abstract Memory Model SeqMM
inferred← citeshttps://doi.org/10.1109/icse43902.2021.00102openalex-snapshot
Sustainable Solving: Reducing the Memory Footprint of IFDS-Based Data Flow Analyses Using Intelligent Garbage Collection
inferred← citeshttps://doi.org/10.1109/icst57152.2023.00036openalex-snapshot
Two Sparsification Strategies for Accelerating Demand-Driven Pointer Analysis
inferred← citeshttps://doi.org/10.1109/scam52516.2021.00009openalex-snapshot
A Precise Framework for Source-Level Control-Flow Analysis
inferred← citeshttps://doi.org/10.1109/scam52516.2021.00012openalex-snapshot
SecuCheck: Engineering configurable taint analysis for software developers
inferred← citeshttps://doi.org/10.1109/secdev53368.2022.00015openalex-snapshot
How far are German companies in improving security through static program analysis tools?
inferred← citeshttps://doi.org/10.1109/tse.2022.3154717openalex-snapshot
Evaluation of Static Vulnerability Detection Tools With Java Cryptographic API Benchmarks
inferred← citeshttps://doi.org/10.1109/tse.2024.3437684openalex-snapshot
Pearl: A Multi-Derivation Approach to Efficient CFL-Reachability Solving
inferred← citeshttps://doi.org/10.1145/3385412.3386021openalex-snapshot
Fast graph simplification for interleaved Dyck-reachability
inferred← citeshttps://doi.org/10.1145/3428235openalex-snapshot
Dynamic dispatch of context-sensitive optimizations
inferred← citeshttps://doi.org/10.1145/3428246openalex-snapshot
FlowCFL: generalized type-based reachability analysis: graph reduction and equivalence of CFL-based and type-based reachability
inferred← citeshttps://doi.org/10.1145/3434298openalex-snapshot
Verifying correct usage of context-free API protocols
inferred← citeshttps://doi.org/10.1145/3434340openalex-snapshot
On the complexity of bidirected interleaved Dyck-reachability
inferred← citeshttps://doi.org/10.1145/3456563openalex-snapshot
A Unified Model for Context-Sensitive Program Analyses:
inferred← citeshttps://doi.org/10.1145/3464457openalex-snapshot
A Survey of Parametric Static Analysis
inferred← citeshttps://doi.org/10.1145/3468264.3473125openalex-snapshot
Frontmatter: mining Android user interfaces at scale
inferred← citeshttps://doi.org/10.1145/3468264.3473934openalex-snapshot
RAPID: checking API usage for the cloud in the cloud
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/3492428openalex-snapshot
Fast Graph Simplification for Interleaved-Dyck Reachability
inferred← citeshttps://doi.org/10.1145/3498673openalex-snapshot
The decidability and complexity of interleaved bidirected Dyck reachability
inferred← citeshttps://doi.org/10.1145/3498724openalex-snapshot
Efficient algorithms for dynamic bidirected Dyck-reachability
inferred← citeshttps://doi.org/10.1145/3551349.3556910openalex-snapshot
Jasmine: A Static Analysis Framework for Spring Core Technologies
inferred← citeshttps://doi.org/10.1145/3551349.3561339openalex-snapshot
Scaling Arbitrary Android App Analyses
inferred← citeshttps://doi.org/10.1145/3563339openalex-snapshot
Indexing the extended Dyck-CFL reachability for context-sensitive program analysis
inferred← citeshttps://doi.org/10.1145/3571228openalex-snapshot
Single-Source-Single-Target Interleaved-Dyck Reachability via Integer Linear Programming
inferred← citeshttps://doi.org/10.1145/3597926.3598062openalex-snapshot
Detecting Vulnerabilities in Linux-Based Embedded Firmware with SSE-Based On-Demand Alias Analysis
inferred← citeshttps://doi.org/10.1145/3607863openalex-snapshot
Combinator-Based Fixpoint Algorithms for Big-Step Abstract Interpreters
inferred← citeshttps://doi.org/10.1145/3611643.3613889openalex-snapshot
Compositional Taint Analysis for Enforcing Security Policies at Scale
inferred← citeshttps://doi.org/10.1145/3627106.3627188openalex-snapshot
PAVUDI: Patch-based Vulnerability Discovery using Machine Learning
inferred← citeshttps://doi.org/10.1145/3632884openalex-snapshot
On-the-Fly Static Analysis via Dynamic Bidirected Dyck Reachability
inferred← citeshttps://doi.org/10.1145/3652588openalex-snapshot
Proceedings of the 13th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis
inferred← citeshttps://doi.org/10.1145/3652588.3663318openalex-snapshot
A Better Approximation for Interleaved Dyck Reachability
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/3658644.3670340openalex-snapshot
ReSym: Harnessing LLMs to Recover Variable and Data Structure Symbols from Stripped Binaries
inferred← citeshttps://doi.org/10.1145/3689031.3696089openalex-snapshot
BESA: Extending Bugs Triggered by Runtime Testing via Static 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/3704854openalex-snapshot
Program Analysis via Multiple Context Free Language Reachability
inferred← citeshttps://doi.org/10.1145/3735544.3735585openalex-snapshot
Universal High-Performance CFL-Reachability via Matrix Multiplication
inferred← citeshttps://doi.org/10.1145/3776716openalex-snapshot
Bounded Treewidth, Multiple Context-Free Grammars, and Downward Closures
inferred← citeshttps://doi.org/10.1145/3839461openalex-snapshot
EUFⁿ: A Decidable Extension to the Theory of Equality with Uninterpreted Functions
inferred← citeshttps://doi.org/10.14722/ndss.2024.241032openalex-snapshot
Towards Precise Reporting of Cryptographic Misuses
inferred← citeshttps://doi.org/10.22215/etd/2023-15772openalex-snapshot
Hy2: A Hybrid Vulnerability Analysis Method
inferred← citeshttps://doi.org/10.33612/diss.756640900openalex-snapshot
Minimal structures for program analysis and verification
inferred← citeshttps://doi.org/10.3390/app11031351openalex-snapshot
Constructing More Complete Control Flow Graphs Utilizing Directed Gray-Box Fuzzing
inferred← citeshttps://doi.org/10.48550/arxiv.2105.03144openalex-snapshot
What do all these Buttons do? Statically Mining Android User Interfaces at Scale
inferred← citeshttps://doi.org/10.48550/arxiv.2109.07923openalex-snapshot
Efficient Path-Sensitive Data-Dependence Analysis
inferred← citeshttps://doi.org/10.4995/thesis/10251/193146openalex-snapshot
Analysis Techniques for Software Maintenance
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.