On the public citation graph
P/Taint: unified points-to and taint analysis
0 signed · 130 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-36579-6_10openalex-snapshot
Dimensions of Precision in Reference Analysis of Object-Oriented Programming Languages
inferredcites →https://doi.org/10.1007/978-3-319-26529-2_26openalex-snapshot
More Sound Static Handling of Java Reflection
inferredcites →https://doi.org/10.1007/978-3-319-41540-6_23openalex-snapshot
Soufflé: On Synthesis of Program Analyzers
inferredcites →https://doi.org/10.1007/978-3-642-03237-0_17openalex-snapshot
Type Analysis for JavaScript
inferredcites →https://doi.org/10.1007/978-3-642-31057-7_16openalex-snapshot
An Analysis of the Mozilla Jetpack Extension Framework
inferredcites →https://doi.org/10.1007/978-3-642-32943-2_6openalex-snapshot
Definite Expression Aliasing Analysis for Java Bytecode
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.1007/978-3-662-44202-9_2openalex-snapshot
Self-inferencing Reflection Resolution for Java
inferredcites →https://doi.org/10.1007/978-3-662-48288-9_10openalex-snapshot
Effective Soundness-Guided Reflection Analysis
inferredcites →https://doi.org/10.1109/icse.2015.48openalex-snapshot
IccTA: Detecting Inter-Component Privacy Leaks in Android Apps
inferredcites →https://doi.org/10.1145/1044834.1044835openalex-snapshot
Parameterized object sensitivity for points-to analysis for Java
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/1572272.1572274openalex-snapshot
Exception analysis and points-to analysis
inferredcites →https://doi.org/10.1145/1640089.1640108openalex-snapshot
Strictly declarative specification of sophisticated points-to analyses
inferredcites →https://doi.org/10.1145/1863543.1863553openalex-snapshot
Abstracting abstract machines
inferredcites →https://doi.org/10.1145/1985793.1985804openalex-snapshot
Refactoring Java programs for flexible locking
inferredcites →https://doi.org/10.1145/2254064.2254090openalex-snapshot
Sound and precise analysis of parallel programs through schedule specialization
inferredcites →https://doi.org/10.1145/2491956.2462191openalex-snapshot
Hybrid context-sensitivity for points-to analysis
inferredcites →https://doi.org/10.1145/2594291.2594321openalex-snapshot
Code completion with statistical language models
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/2676726.2677009openalex-snapshot
Predicting Program Properties from "Big Code"
inferredcites →https://doi.org/10.1145/2737924.2737957openalex-snapshot
Exploring and enforcing security guarantees via program dependence graphs
inferredcites →https://doi.org/10.1145/2771783.2771803openalex-snapshot
Scalable and precise taint analysis for Android
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.567778openalex-snapshot
Systematic design of program analysis frameworks
inferredcites →https://doi.org/10.14722/ndss.2015.23089openalex-snapshot
Information-Flow Analysis of Android Applications in DroidSafe
inferredcites →https://doi.org/10.3233/jcs-1996-42-304openalex-snapshot
A sound type system for secure flow analysis
inferredcites →https://doi.org/10.4230/lipics.ecoop.2015.689openalex-snapshot
Framework for Static Analysis of PHP Applications
inferredcites →https://doi.org/10.5555/353629.353648openalex-snapshot
A sound type system for secure flow analysis
inferredcites →https://doi.org/10.82308/51062openalex-snapshot
Program analysis using binary decision diagrams
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-71500-7_12openalex-snapshot
Effects of Program Representation on Pointer Analyses — An Empirical Study
inferred← citeshttps://doi.org/10.1007/978-3-030-88418-5_4openalex-snapshot
Caught in the Web: DoS Vulnerabilities in Parsers for Structured Data
inferred← citeshttps://doi.org/10.1007/978-3-031-70896-1_9openalex-snapshot
SerdeSniffer: Enhancing Java Deserialization Vulnerability Detection with Function Summaries
inferred← citeshttps://doi.org/10.1007/978-981-95-3537-8_21openalex-snapshot
RustGuard: Detecting Rust Data Leak Issues with Context-Sensitive Static Taint Analysis
inferred← citeshttps://doi.org/10.1007/s10664-021-10013-5openalex-snapshot
TaintBench: Automatic real-world malware benchmarking of Android taint analyses
inferred← citeshttps://doi.org/10.1007/s10664-023-10290-2openalex-snapshot
Applying declarative analysis to industrial automotive software product line models
inferred← citeshttps://doi.org/10.1016/j.cose.2024.104162openalex-snapshot
A fine-grained approach for Android taint analysis based on labeled taint value graphs
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.2021.111048openalex-snapshot
Practical heuristics to improve precision for erroneous function argument swapping detection in C and C++
inferred← citeshttps://doi.org/10.1016/j.procs.2018.08.227openalex-snapshot
Static Taint Analysis Traversal with Object Oriented Component for Web File Injection Vulnerability Pattern Detection
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/acsac67867.2025.00021openalex-snapshot
AndroByte: LLM-Driven Privacy Analysis through Bytecode Summarization and Dynamic Dataflow Call Graph Generation
inferred← citeshttps://doi.org/10.1109/apsec66846.2025.00033openalex-snapshot
Conanj: Confidential Data Analysis for Confidential Computing of Java Programs
inferred← citeshttps://doi.org/10.1109/ase51524.2021.9678891openalex-snapshot
Detecting TensorFlow Program Bugs in Real-World Industrial Environment
inferred← citeshttps://doi.org/10.1109/ase56229.2023.00027openalex-snapshot
Merge-Replay: Efficient IFDS-Based Taint Analysis by Consolidating Equivalent Value Flows
inferred← citeshttps://doi.org/10.1109/ase56229.2023.00067openalex-snapshot
ConfTainter: Static Taint Analysis For Configuration Options
inferred← citeshttps://doi.org/10.1109/iceccs59891.2023.00027openalex-snapshot
Detecting Security Vulnerabilities in Human-Machine Pair Programming with Pointer Analysis
inferred← citeshttps://doi.org/10.1109/icosse62619.2024.00011openalex-snapshot
On the Applicability of Static Analysis for System Software using CodeChecker
inferred← citeshttps://doi.org/10.1109/icse-seip58684.2023.00015openalex-snapshot
Scalable Compositional Static Taint Analysis for Sensitive Data Tracing on Industrial Micro-Services
inferred← citeshttps://doi.org/10.1109/icse55347.2025.00208openalex-snapshot
PacDroid: A Pointer-Analysis-Centric Framework for Security Vulnerabilities in Android Apps
inferred← citeshttps://doi.org/10.1109/icse55347.2025.00234openalex-snapshot
COCA: Generative Root Cause Analysis for Distributed Systems with Code Knowledge
inferred← citeshttps://doi.org/10.1109/issre55969.2022.00042openalex-snapshot
A Sanitizer-centric Analysis to Detect Cross-Site Scripting in PHP Programs
inferred← citeshttps://doi.org/10.1109/qrs-c57518.2022.00062openalex-snapshot
Detecting Security Vulnerabilities with Vulnerability Nets
inferred← citeshttps://doi.org/10.1109/saner56733.2023.00054openalex-snapshot
Brigadier: A Datalog-based IAST framework for Node.js Applications
inferred← citeshttps://doi.org/10.1109/soca.2018.00033openalex-snapshot
Certified Information Flow Analysis of Service Implementations
inferred← citeshttps://doi.org/10.1109/sp61157.2025.00010openalex-snapshot
MOCGuard: Automatically Detecting Missing-Owner-Check Vulnerabilities in Java Web Applications
inferred← citeshttps://doi.org/10.1109/sp61157.2025.00137openalex-snapshot
Detecting Taint-Style Vulnerabilities in Microservice-Structured Web Applications
inferred← citeshttps://doi.org/10.1109/tifs.2025.3634981openalex-snapshot
More Granular, Less Trust: Enforcing Intra-Process Isolation With Arm CCA in an Untrusted Management Environment
inferred← citeshttps://doi.org/10.1109/tpds.2025.3556861openalex-snapshot
IRHunter: Universal Detection of Instruction Reordering Vulnerabilities for Enhanced Concurrency in Distributed and Parallel Systems
inferred← citeshttps://doi.org/10.1109/tse.2019.2931331openalex-snapshot
ModGuard : Identifying Integrity & Confidentiality Violations in Java Modules
inferred← citeshttps://doi.org/10.1109/tse.2022.3175752openalex-snapshot
Annotative Software Product Line Analysis Using Variability-Aware Datalog
inferred← citeshttps://doi.org/10.1109/tse.2024.3377645openalex-snapshot
Generic Sensitivity: Generics-Guided Context Sensitivity for Pointer Analysis
inferred← citeshttps://doi.org/10.1142/s0218194024500013openalex-snapshot
Toward Pointer-Analysis-Based Vulnerability Discovery in Human–Machine Pair Programming
inferred← citeshttps://doi.org/10.1142/s0218194024500104openalex-snapshot
Efficient Construction of Practical Python Call Graphs with Entity Knowledge Base
inferred← citeshttps://doi.org/10.1145/3133892openalex-snapshot
Heaps don't lie: countering unsoundness with heap snapshots
inferred← citeshttps://doi.org/10.1145/3192366.3192418openalex-snapshot
Pinpoint: fast and precise sparse value flow analysis for million lines of code
inferred← citeshttps://doi.org/10.1145/3213846.3213860openalex-snapshot
Shooting from the heap: ultra-scalable static analysis with heap snapshots
inferred← citeshttps://doi.org/10.1145/3236024.3236041openalex-snapshot
Scalability-first pointer analysis with self-tuning context-sensitivity
inferred← citeshttps://doi.org/10.1145/3276511openalex-snapshot
Precision-guided context sensitivity for pointer analysis
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/3293606openalex-snapshot
Rethinking Incremental and Parallel Pointer Analysis
inferred← citeshttps://doi.org/10.1145/3296979.3192418openalex-snapshot
Pinpoint: fast and precise sparse value flow analysis for million lines of code
inferred← citeshttps://doi.org/10.1145/3338906.3338928openalex-snapshot
Lifting Datalog-based analyses to software product lines
inferred← citeshttps://doi.org/10.1145/3368089.3417059openalex-snapshot
Scaling static taint analysis to industrial SOA applications: a case study at Alibaba
inferred← citeshttps://doi.org/10.1145/3377555.3377885openalex-snapshot
Scalable pointer analysis of data structures using semantic models
inferred← citeshttps://doi.org/10.1145/3377811.3380441openalex-snapshot
On the recall of static call graph construction in practice
inferred← citeshttps://doi.org/10.1145/3381915openalex-snapshot
A Principled Approach to Selective Context Sensitivity for Pointer Analysis
inferred← citeshttps://doi.org/10.1145/3385412.3385990openalex-snapshot
Ethainter: a smart contract security analyzer for composite vulnerabilities
inferred← citeshttps://doi.org/10.1145/3385412.3386026openalex-snapshot
Static analysis of Java enterprise applications: frameworks and caches, the elephants in the room
inferred← citeshttps://doi.org/10.1145/3460120.3484798openalex-snapshot
Statically Discovering High-Order Taint Style Vulnerabilities in OS Kernels
inferred← citeshttps://doi.org/10.1145/3468264.3468550openalex-snapshot
Algebraic-datatype taint tracking, with applications to understanding Android identifier leaks
inferred← citeshttps://doi.org/10.1145/3468264.3468561openalex-snapshot
Checking conformance of applications against GUI policies
inferred← citeshttps://doi.org/10.1145/3497776.3517776openalex-snapshot
BinPointer: towards precise, sound, and scalable binary-level pointer analysis
inferred← citeshttps://doi.org/10.1145/3540250.3549122openalex-snapshot
Generic sensitivity: customizing context-sensitive pointer analysis for generics
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.3556911openalex-snapshot
reformulator: Automated Refactoring of the N+1 Problem in Database-Backed Applications
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/3597503.3639199openalex-snapshot
RogueOne: Detecting Rogue Updates via Differential Data-flow Analysis Using Trust Domains
inferred← citeshttps://doi.org/10.1145/3597926.3598041openalex-snapshot
Reducing the Memory Footprint of IFDS-Based Data-Flow Analyses using Fine-Grained Garbage Collection
inferred← citeshttps://doi.org/10.1145/3597926.3598120openalex-snapshot
Tai-e: A Developer-Friendly Static Analysis Framework for Java by Harnessing the Good Designs of Classics
inferred← citeshttps://doi.org/10.1145/3611643.3613889openalex-snapshot
Compositional Taint Analysis for Enforcing Security Policies at Scale
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/3650212.3652139openalex-snapshot
Silent Taint-Style Vulnerability Fixes Identification
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/3689768openalex-snapshot
HardTaint: Production-Run Dynamic Taint Analysis via Selective Hardware Tracing
inferred← citeshttps://doi.org/10.1145/3719027.3765034openalex-snapshot
Parcel Mismatch Demystified: Addressing a Decade-Old Security Challenge in Android
inferred← citeshttps://doi.org/10.1145/3728896openalex-snapshot
Bridge the Islands: Pointer Analysis for Microservice Systems
inferred← citeshttps://doi.org/10.1145/3744916.3787840openalex-snapshot
Fast Flow-Sensitive C Program Partitioning via Iterative Value-Flow Refinement
inferred← citeshttps://doi.org/10.1145/3763129openalex-snapshot
Universal Scalability in Declarative Program Analysis (with Choice-Based Combination Pruning)
inferred← citeshttps://doi.org/10.1145/3786583.3786912openalex-snapshot
ViTAL: LLM-Powered Taint Analysis for GUI Field Visualization Auditing in Android
inferred← citeshttps://doi.org/10.1145/3808300openalex-snapshot
Exploiting Sophisticated Static Analysis for Verilog
inferred← citeshttps://doi.org/10.1145/3808326openalex-snapshot
Restart and Refine: Scalable IFDS Taint Analysis across Memory Budgets
inferred← citeshttps://doi.org/10.1145/3814987.3814995openalex-snapshot
Detecting Data Leaks in Multi-user LLM Apps via Automated User-Scoped Taint 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/3836765openalex-snapshot
Two in One: A case for Combined Points-to and MHP Analysis
inferred← citeshttps://doi.org/10.1155/int/7518450openalex-snapshot
TaL2V: Combining LLM With Binary Taint Analysis for Vulnerability Detection
inferred← citeshttps://doi.org/10.14722/ndss.2021.24386openalex-snapshot
Refining Indirect Call Targets at the Binary Level
inferred← citeshttps://doi.org/10.17760/d20560794openalex-snapshot
Optimizing asynchronous JavaScript applications
inferred← citeshttps://doi.org/10.18293/seke2022-161openalex-snapshot
Taint Trace Analysis For Java Web Applications
inferred← citeshttps://doi.org/10.2139/ssrn.5963910openalex-snapshot
Exploring Program Confidentiality for Java Confidential Computing on SGX: A Separate Compilation Approach
inferred← citeshttps://doi.org/10.3390/app11031351openalex-snapshot
Constructing More Complete Control Flow Graphs Utilizing Directed Gray-Box Fuzzing
inferred← citeshttps://doi.org/10.36227/techrxiv.14870187openalex-snapshot
Software Product Line Analysis Using Variability-aware Datalog
inferred← citeshttps://doi.org/10.36227/techrxiv.14870187.v1openalex-snapshot
Software Product Line Analysis Using Variability-aware Datalog
inferred← citeshttps://doi.org/10.48550/arxiv.1912.00429openalex-snapshot
PointEval: On the Impact of Pointer Analysis Frameworks
inferred← citeshttps://doi.org/10.53106/160792642022092305021openalex-snapshot
A Framework for Modeling and Detecting Security Vulnerabilities in Human-Machine Pair Programming
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.