Points-to analysis for Java using annotated constraints

No abstract is available for this paper.

• Publication year

  2001

• Venue

  Conference on Object-Oriented Programming Systems, Languages, and Applications

• Publication date

  2001-10-01

• Fields of study

  Computer Science

• Identifiers
  DOI 10.1145/504282.504286
• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• TECHNOLOGY ADMINISTRATION

  2003influential reference
• Extending and evaluating flow-insenstitive and context-insensitive points-to analyses for Java

  2001cited by this paper
• Effective synchronization removal for Java

  2000influential reference
• Scalable context-sensitive flow analysis using instantiation constraints

  2000cited by this paper
• Marmot: an optimizing compiler for Java

  2000cited by this paper
• Projection merging: reducing redundancies in inclusion constraint graphs

  2000influential reference
• Optimizing Java Bytecode Using the Soot Framework: Is It Feasible?

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

  2000influential reference
• Fast Escape Analysis and Stack Allocation for Object-Based Programs

  2000influential reference
• Points-to analysis for Java based on annotated constraints

  2000cited by this paper
• Points-to Analysis for Java Using Annotated Inclusion Constraints

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

  2000influential reference
• Escape analysis for object-oriented languages

  1999influential reference
• Static Analyses for Eliminating Unnecessary Synchronization from Java Programs

  1999cited by this paper
• Removing unnecessary synchronization in Java

  1999cited by this paper
• A Study Of Side-Effect Analyses For Java

  1999cited by this paper
• Compositional pointer and escape analysis for Java programs

  1999influential reference
• Relevant context inference

  1999cited by this paper
• Escape analysis for object-oriented languages: application to Java

  1999cited by this paper
• Practical experience with an application extractor for Java

  1999cited by this paper
• A Toolkit for Constructing Type- and Constraint-Based Program Analyses

  1998cited by this paper
• Partial online cycle elimination in inclusion constraint graphs

  1998influential reference
• Fast interprocedural class analysis

  1998cited by this paper
• Call graph construction in object-oriented languages

  1997cited by this paper
• Simple and effective analysis of statically-typed object-oriented programs

  1996cited by this paper
• The Java Language Specification

  1996cited by this paper
• Fast static analysis of C++ virtual function calls

  1996influential reference
• Points-to analysis in almost linear time

  1996cited by this paper
• The Java Virtual Machine Specification

  1996influential reference
• Optimization of Object-Oriented Programs Using Static Class Hierarchy Analysis

  1995influential reference
• Precise concrete type inference for object-oriented languages

  1994cited by this paper
• Constraint-Based Type Inference and Parametric Polymorphism

  1994cited by this paper
• Type inclusion constraints and type inference

  1993cited by this paper
• Object-oriented type inference

  1991cited by this paper

• Compact Representation and Interleaved Solving for Scalable Constraint-Based Points-to Analysis

  2026influential citation
• Pushdown Model Checking above the Cubic Bottleneck

  2025cites this paper
• Conanj: Confidential Data Analysis for Confidential Computing of Java Programs

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

  2024cites this paper
• PoTo: A Hybrid Andersen's Points-to Analysis for Python

  2024cites this paper
• Abstract Environment Trimming

  2024cites this paper
• Privagic: automatic code partitioning with explicit secure typing

  2024cites this paper
• Sound Call Graph Construction for Java Object Deserialization

  2023cites this paper
• Seneca: Taint-Based Call Graph Construction for Java Object Deserialization

  2023cites this paper
• Serialization-aware call graph construction

  2021cites this paper
• Montsalvat: Intel SGX shielding for GraalVM native images

  2021cites this paper
• When threads meet events: efficient and precise static race detection with origins

  2021cites this paper
• Thread-Sensitive Data Race Detection for Java

  2021influential citation
• Salsa: static analysis of serialization features

  2020cites this paper
• Efficient Symbolic Execution of Concurrent Software

  2019cites this paper
• Fast and Precise Handling of Positive Weight Cycles for Field-Sensitive Pointer Analysis

  2019cites this paper
• Testing and Understanding Error Recovery Code in Java Applications

  2018cites this paper
• Recovering structural information for better static analysis

  2017cites this paper
• Enriching in-IDE process information with fine-grained source code history

  2017cites this paper
• Enriched Event Streams: A General Platform For Empirical Studies On In-IDE Activities Of Software Developers

  2017cites this paper
• Towards Efficient Instrumentation for Reverse-Engineering Object Oriented Software through Static and Dynamic Analyses

  2017cites this paper
• Structure-Sensitive Points-To Analysis for C and C++

  2016cites this paper
• Static DOM event dependency analysis for testing web applications

  2016cites this paper
• Efficient Memory Traces with Full Pointer Information

  2016cites this paper
• Will This Bug-Fixing Change Break Regression Testing?

  2015cites this paper
• Towards the Verification and Validation of Software Security Properties Using Static Code Analysis

  2014cites this paper
• DOCTEUR DE L'UNIVERSITÉ DU LUXEMBOURG EN INFORMATIQUE

  2014cites this paper
• Security Analysis of Permission-Based Systems using Static Analysis: An Application to the Android Stack

  2014cites this paper
• Heap Abstractions for Static Analysis

  2014cites this paper
• Go Against the Flow for Typeless Programming

  2013cites this paper
• OwnKit: Inferring Modularly Checkable Ownership Annotations for Java

  2013cites this paper
• A calculus for constraint-based flow typing

  2013cites this paper
• OwnKit: Ownership Inference for Java

  2013cites this paper
• A General Framework for Constraint-Based Static Analyses of Java Bytecode Programs

  2013cites this paper
• Location Types for Safe Programming with Near and Far References

  2013cites this paper
• Practical Integrated Analysis of Pointers, Dataflow and Control Flow

  2013cites this paper
• Alias Analysis for Object-Oriented Programs

  2013cites this paper
• Cfa2: pushdown flow analysis for higher-order languages

  2012cites this paper
• Scaling Context-Sensitive Points-To Analysis

  2012cites this paper
• A Scaling Context Sensitive Points-to Analysis by Geometric Encoding

  2012cites this paper
• Point-to Analysis for Object-Oriented Language

  2012cites this paper
• Information Integration for Software Maintenance and Evolution

  2012cites this paper
• Reachability analysis of program variables

  2012cites this paper
• Integrating conceptual and logical couplings for change impact analysis in software

  2012cites this paper
• Language design and analyzability: a retrospective

  2012cites this paper
• Static Object Race Detection

  2011cites this paper
• Formalisation and implementation of an algorithm for bytecode verification of @NonNull types

  2011cites this paper
• Practical solutions for multicore programming : from crafting a high performance ready-to-go STM to non-linearizable data structures

  2011cites this paper
• A static analysis to extract dataflow edges from object-oriented programs with ownership domain annotations

  2011cites this paper
• DEDICATION To my family ii

  2011cites this paper
• A logic meta-programming foundation for example-driven pattern detection in object-oriented programs

  2011cites this paper
• JPure: A Modular Purity System for Java

  2011cites this paper
• Static Dominance Inference

  2011cites this paper
• Static Analysis for Understanding Shared Objects in Open Concurrent Java Programs

  2010influential citation
• degree in the Blavatnik School of Computer Science, Tel-Aviv University

  2010cites this paper
• Static Information Flow Analysis with Handling of Implicit Flows and a Study on Effects of Implicit Flows vs Explicit Flows

  2010influential citation
• Blending Conceptual and Evolutionary Couplings to Support Change Impact Analysis in Source Code

  2010cites this paper
• Conditional weighted pushdown systems and applications

  2010cites this paper
• Lowering STM Overhead with Static Analysis

  2010cites this paper
• Flow-sensitive, context-sensitive, and object-sensitive information flow control based on program dependence graphs

  2009cites this paper
• Parameter reference immutability: formal definition, inference tool, and comparison

  2009cites this paper
• User-Definable Resource Usage Bounds Analysis for Java Bytecode

  2009cites this paper
• A Featherweight Calculus for Flow-Sensitive Type Systems in Java

  2009cites this paper
• nAIT: A source analysis and instrumentation framework for nesC

  2009cites this paper
• The Complexity of Andersen's Analysis in Practice

  2009cites this paper
• Kombinierte statische Ermittlung von Zeigerzielen, Kontroll- und Datenfluss

  2009cites this paper
• Program Analysis Techniques for Method Call Devirtualization in Object-Oriented Languages

  2009cites this paper
• Points-to analysis for JavaScript

  2009influential citation
• An Ahead-of-time Yet Context-Sensitive Points-to Analysis for Java

  2009cites this paper
• Using information retrieval based coupling measures for impact analysis

  2009cites this paper
• Practical Static Ownership Inference

  2009cites this paper
• Static ownership inference for reasoning against concurrency errors

  2009cites this paper
• Kombinierte statische Ermittlung von Zeigerzielen, Kontroll- und Datenfluss

  2009cites this paper
• Semantic predicate types and approximation for class-based object oriented programming

  2009cites this paper
• Practical static analysis for inference of security-related program properties

  2009cites this paper
• Deductive verification of safety-critical Java programs

  2009cites this paper
• Assessing the usefulness of type inference algorithms in representing Java control flow to support software maintenance tasks

  2008cites this paper
• Contextual Integration Testing of Classes

  2008cites this paper
• Summary-based pointer analysis framework for modular bug finding

  2008cites this paper
• Static analysis for inference of explicit information flow

  2008cites this paper
• Evaluating the benefits of context-sensitive points-to analysis using a BDD-based implementation

  2008cites this paper
• Static Inference of Universe Types

  2008cites this paper
• Tracking source locations

  2008cites this paper
• Improving software reliability using exception analysis of object oriented programs

  2008influential citation
• Static Information Flow Analysis for Java

  2008cites this paper
• Java Bytecode Verification for @NonNull Types

  2008cites this paper
• Impact analysis of database schema changes

  2008cites this paper
• Relations as an abstraction for BDD-based program analysis

  2008cites this paper
• Fast, effective program analysis for object-level parallelism

  2008cites this paper
• Regularly annotated set constraints

  2007cites this paper
• Interactive, scalable, declarative program analysis: from prototype to implementation

  2007cites this paper
• Efficient field-sensitive pointer analysis of C

  2007cites this paper
• Ownership and Immutability Inference for UML-Based Object Access Control

  2007cites this paper
• Thin slicing

  2007cites this paper
• Combined static and dynamic mutability analysis

  2007cites this paper
• Refinement-Based Program Analysis Tools

  2007cites this paper
• Exception-Chain Analysis: Revealing Exception Handling Architecture in Java Server Applications

  2007cites this paper
• An Empirical Evaluation of Data Flow Testing of Java Classes

  2007cites this paper
• Program Analysis based on Weighted Pushdown Model Checking by

  2007cites this paper
• Composition inference for UML class diagrams

  2007cites this paper