Boomerang: Demand-Driven Flow- and Context-Sensitive Pointer Analysis for Java

No abstract is available for this paper.

• Publication year

  2016

• Venue

  European Conference on Object-Oriented Programming

• Publication date

  2016-07-01

• Fields of study

  Computer Science

• Identifiers
  DOI 10.4230/LIPIcs.ECOOP.2016.22
• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• FlowDroid: precise context, flow, field, object-sensitive and lifecycle-aware taint analysis for Android apps

  2014cited by this paper
• Andromeda: Accurate and Scalable Security Analysis of Web Applications

  2013cited by this paper
• Alias Analysis for Object-Oriented Programs

  2013cited by this paper
• On-demand dynamic summary-based points-to analysis

  2012cited by this paper
• Scalable Flow-Sensitive Pointer Analysis for Java with Strong Updates

  2012cited by this paper
• Inter-procedural data-flow analysis with IFDS/IDE and Soot

  2012cited by this paper
• Demand-driven context-sensitive alias analysis for Java

  2011cited by this paper
• Practical Extensions to the IFDS Algorithm

  2010cited by this paper
• Efficient hybrid typestate analysis by determining continuation-equivalent states

  2010cited by this paper
• Strictly declarative specification of sophisticated points-to analyses

  2009cited by this paper
• Typestate-like analysis of multiple interacting objects

  2008cited by this paper
• Conditional must not aliasing for static race detection

  2007cited by this paper
• Heap Reference Analysis for Functional Programs

  2007influential reference
• Refinement-based context-sensitive points-to analysis for Java

  2006cited by this paper
• Demand-driven points-to analysis for Java

  2005cited by this paper
• Points-to analysis using BDDs

  2003cited by this paper
• Dimensions of Precision in Reference Analysis of Object-Oriented Programming Languages

  2003cited by this paper
• Scaling Java Points-to Analysis Using SPARK

  2003cited by this paper
• A framework for call graph construction algorithms

  2001cited by this paper
• Demand-driven pointer analysis

  2001cited by this paper
• Pointer analysis: haven't we solved this problem yet?

  2001cited by this paper
• Practical virtual method call resolution for Java

  2000cited by this paper
• Optimizing Java Bytecode Using the Soot Framework: Is It Feasible?

  2000cited by this paper
• Scalable propagation-based call graph construction algorithms

  2000cited by this paper
• Is it a tree, a DAG, or a cyclic graph? A shape analysis for heap-directed pointers in C

  1996cited by this paper
• Precise interprocedural dataflow analysis via graph reachability

  1995cited by this paper
• Demand interprocedural dataflow analysis

  1995cited by this paper
• Interprocedural may-alias analysis for pointers: beyond k-limiting

  1994cited by this paper
• Lifetime analysis of dynamically allocated objects

  1988cited by this paper

• Phoenix: A Modular and Versatile Framework for C/C++ Pointer Analysis

  2026cites this paper
• SemTaint: A scalable taint analysis approach for JavaWeb frameworks and composite containers

  2026cites this paper
• Incremental Program Analysis in the Wild: An Empirical Study on Real-World Program Changes

  2025cites this paper
• Towards a Theoretically-Backed and Practical Framework for Selective Object-Sensitive Pointer Analysis

  2025cites this paper
• Boosting Pointer Analysis With LLM-Enhanced Allocation Function Detection

  2025cites this paper
• Enhancing Semantic Understanding in Pointer Analysis using Large Language Models

  2025cites this paper
• Comma Separated Vulnerabilities: Detecting Formula Injection in the Wild

  2025cites this paper
• Understanding Industry Perspectives of Static Application Security Testing (SAST) Evaluation

  2025cites this paper
• VulPA: Detecting Semantically Recurring Vulnerabilities with Multi-object Typestate Analysis

  2025cites this paper
• LEGO: Synthesizing IoT Device Components Based on Static Analysis and Large Language Models

  2025cites this paper
• Universal Scalability in Declarative Program Analysis (with Choice-Based Combination Pruning)

  2025cites this paper
• Pick Your Call Graphs Well: On Scaling IFDS-Based Data-Flow Analyses

  2025cites this paper
• Exploring Static Taint Analysis in LLMs: A Dynamic Benchmarking Framework for Measurement and Enhancement

  2025cites this paper
• Falcon: A Fused Approach to Path-Sensitive Sparse Data Dependence Analysis

  2024cites this paper
• Efficient Demand Evaluation of Fixed-Point Attributes using Static Analysis

  2024cites this paper
• Boosting the Performance of Alias-Aware IFDS Analysis with CFL-Based Environment Transformers

  2024influential citation
• Scaling Interprocedural Static Data-Flow Analysis to Large C/C++ Applications: An Experience Report

  2024cites this paper
• Which Part of the Heap is Useful? Improving Heap Liveness Analysis

  2024cites this paper
• Pearl: A Multi-Derivation Approach to Efficient CFL-Reachability Solving

  2024cites this paper
• Structure-Sensitive Pointer Analysis for Multi-structure Objects

  2024cites this paper
• Kaleidoscope: Precise Invariant-Guided Pointer Analysis

  2024cites this paper
• Automatically Inspecting Thousands of Static Bug Warnings with Large Language Model: How Far Are We?

  2024cites this paper
• Supporting Error Chains in Static Analysis for Precise Evaluation Results and Enhanced Usability

  2024cites this paper
• Boosting the Performance of Multi-Solver IFDS Algorithms with Flow-Sensitivity Optimizations

  2024influential citation
• Interactive Abstract Interpretation with Demanded Summarization

  2024cites this paper
• Symbol-Specific Sparsification of Interprocedural Distributive Environment Problems

  2024cites this paper
• Octopus: Scaling Value-Flow Analysis via Parallel Collection of Realizable Path Conditions

  2024cites this paper
• Selecting Context-Sensitivity Modularly for Accelerating Object-Sensitive Pointer Analysis

  2023cites this paper
• Combinator-Based Fixpoint Algorithms for Big-Step Abstract Interpreters

  2023cites this paper
• Incrementalizing Production CodeQL Analyses

  2023cites this paper
• Hybrid Inlining: A Framework for Compositional and Context-Sensitive Static Analysis

  2023cites this paper
• Reducing the Memory Footprint of IFDS-Based Data-Flow Analyses using Fine-Grained Garbage Collection

  2023cites this paper
• Two Sparsification Strategies for Accelerating Demand-Driven Pointer Analysis

  2023influential citation
• Scalable and Precise Application-Centered Call Graph Construction for Python

  2023cites this paper
• Unifying Pointer Analyses for Polyglot Inter-operations through Summary Specialization

  2023cites this paper
• Context Sensitivity without Contexts: A Cut-Shortcut Approach to Fast and Precise Pointer Analysis

  2023cites this paper
• IFDS-based Context Debloating for Object-Sensitive Pointer Analysis

  2023cites this paper
• Scalable Demand-Driven Call Graph Generation for Python

  2023cites this paper
• Two Birds with One Stone: Multi-Derivation for Fast Context-Free Language Reachability Analysis

  2023cites this paper
• Multi-structure Objects Points-to Analysis

  2023cites this paper
• Lifting On-Demand Analysis to Higher-Order Languages

  2023cites this paper
• A Cocktail Approach to Practical Call Graph Construction

  2023cites this paper
• Merge-Replay: Efficient IFDS-Based Taint Analysis by Consolidating Equivalent Value Flows

  2023cites this paper
• Compositional Taint Analysis for Enforcing Security Policies at Scale

  2023cites this paper
• Fast and Precise Application Code Analysis using a Partial Library

  2022cites this paper
• Hybrid Inlining: A Compositional and Context Sensitive Static Analysis Framework

  2022cites this paper
• Anchor: Fast and Precise Value-flow Analysis for Containers via Memory Orientation

  2022cites this paper
• A Case for Precise, Fine-Grained Pointer Synthesis in High-Level Synthesis

  2022cites this paper
• Inferring Region Types via an Abstract Notion of Environment Transformation

  2022cites this paper
• Qilin: A New Framework for Supporting Fine-Grained Context-Sensitivity in Java Pointer Analysis (Artifact)

  2022cites this paper
• Complexity-guided container replacement synthesis

  2022cites this paper
• PUS: A Fast and Highly Efficient Solver for Inclusion-based Pointer Analysis

  2022cites this paper
• Buddy Stacks: Protecting Return Addresses with Efficient Thread-Local Storage and Runtime Re-Randomization

  2022cites this paper
• Return of CFA: call-site sensitivity can be superior to object sensitivity even for object-oriented programs

  2022cites this paper
• Accelerating Object-Sensitive Pointer Analysis by Exploiting Object Containment and Reachability (Artifact)

  2021cites this paper
• ModGuard : Identifying Integrity & Confidentiality Violations in Java Modules

  2021cites this paper
• Scaling Up the IFDS Algorithm with Efficient Disk-Assisted Computing

  2021cites this paper
• Mandoline: Dynamic Slicing of Android Applications with Trace-Based Alias Analysis

  2021cites this paper
• Effects of Program Representation on Pointer Analyses — An Empirical Study

  2021cites this paper
• IFDS Taint Analysis with Access Paths

  2021cites this paper
• Demanded abstract interpretation

  2021cites this paper
• Lossless, Persisted Summarization of Static Callgraph, Points-To and Data-Flow Analysis

  2021cites this paper
• What do all these Buttons do? Statically Mining Android User Interfaces at Scale

  2021influential citation
• Dealing with Variability in API Misuse Specification

  2021cites this paper
• Tight bounds for reachability problems on one-counter and pushdown systems

  2021cites this paper
• Chianina: an evolving graph system for flow- and context-sensitive analyses of million lines of C code

  2021cites this paper
• Incremental whole-program analysis in Datalog with lattices

  2021cites this paper
• A Unified Model for Context-Sensitive Program Analyses:

  2021cites this paper
• RAPID: checking API usage for the cloud in the cloud

  2021cites this paper
• Efficient Path-Sensitive Data-Dependence Analysis

  2021cites this paper
• A Survey of Parametric Static Analysis

  2021cites this paper
• Making pointer analysis more precise by unleashing the power of selective context sensitivity

  2021cites this paper
• Ensuring threat-model assumptions by using static code analyses

  2021cites this paper
• TORTIS: Retry-Free Software Transactional Memory for Real-Time Systems

  2021cites this paper
• Bilingual Problems: Studying the Security Risks Incurred by Native Extensions in Scripting Languages

  2021cites this paper
• Context Debloating for Object-Sensitive Pointer Analysis

  2021cites this paper
• Virtual Static Security Analyzer for Web Applications

  2021cites this paper
• Title : A Principled Approach to Selective Context Sensitivity for Pointer Analysis

  2021cites this paper
• A Principled Approach to Selective Context Sensitivity for Pointer Analysis

  2020cites this paper
• Bidirectionality in flow-sensitive demand-driven analysis

  2020cites this paper
• Flow-Sensitive Type-Based Heap Cloning

  2020cites this paper
• Explaining Static Analysis With Rule Graphs

  2020cites this paper
• ConSORT: Context- and Flow-Sensitive Ownership Refinement Types for Imperative Programs

  2020cites this paper
• An implementation of Andersen-style pointer analysis for the x86 mov instruction

  2020cites this paper
• A programming model for semi-implicit parallelization of static analyses

  2020cites this paper
• Eliminating abstraction overhead of Java stream pipelines using ahead-of-time program optimization

  2020cites this paper
• Dynamic dispatch of context-sensitive optimizations

  2020cites this paper
• Precise Pointer Analysis in High-Level Synthesis

  2020cites this paper
• A Set-Based Context Model for Program Analysis

  2020cites this paper
• Generalized Points-to Graphs

  2020cites this paper
• Inferring Taint Specifications of Libraries

  2020cites this paper
• Value-Flow-Based Demand-Driven Pointer Analysis for C and C++

  2020cites this paper
• CogniCrypt - the secure integration of cryptographic software

  2020cites this paper
• Learning to Adapt: Analyses for Configurable Software

  2019influential citation
• VFix: Value-Flow-Guided Precise Program Repair for Null Pointer Dereferences

  2019cites this paper
• PhASAR: An Inter-procedural Static Analysis Framework for C/C++

  2019cites this paper
• Rethinking Incremental and Parallel Pointer Analysis

  2019cites this paper
• Higher-order Demand-driven Program Analysis

  2019cites this paper
• Context-, flow-, and field-sensitive data-flow analysis using synchronized Pushdown systems

  2019influential citation
• Applications of Synchronized Pushdown Systems

  2019cites this paper