Modularly Combining Numeric Abstract Domains with Points-to Analysis, and a Scalable Static Numeric Analyzer for Java

No abstract is available for this paper.

• Publication year

  2014

• Venue

  International Conference on Verification, Model Checking and Abstract Interpretation

• Publication date

  2014-01-19

• Fields of study

  Computer Science

• Identifiers
  DOI 10.1007/978-3-642-54013-4_16
• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• Static analysis of numerical properties in the presence of pointers. (Analyse statique de propriétés numériques en présence de pointeurs)

  2013cited by this paper
• Reduced Product Combination of Abstract Domains for Shapes

  2013cited by this paper
• The Reduced Product of Abstract Domains and the Combination of Decision Procedures

  2011cited by this paper
• Formal Verification of Object-Oriented Software - International Conference, FoVeOOS 2010, Paris, France, June 28-30, 2010, Revised Selected Papers

  2011cited by this paper
• Statically Inferring Complex Heap, Array, and Numeric Invariants

  2010cited by this paper
• Static Contract Checking with Abstract Interpretation

  2010cited by this paper
• Static analysis by abstract interpretation of embedded critical software

  2010influential reference
• Soot: a Java bytecode optimization framework

  2010influential reference
• Compositional shape analysis by means of bi-abduction

  2009cited by this paper
• Relational inductive shape analysis

  2008cited by this paper
• Scalable Shape Analysis for Systems Code

  2008cited by this paper
• Value-Range Analysis of C Programs: Towards Proving the Absence of Buffer Overflow Vulnerabilities

  2008cited by this paper
• Shape Analysis with Structural Invariant Checkers

  2007cited by this paper
• The Parma Polyhedra Library: Toward a complete set of numerical abstractions for the analysis and verification of hardware and software systems

  2006influential reference
• Field-sensitive value analysis of embedded C programs with union types and pointer arithmetics

  2006cited by this paper
• The DaCapo benchmarks: java benchmarking development and analysis

  2006cited by this paper
• Towards the Integration of Symbolic and Numerical Static Analysis

  2005cited by this paper
• Free-Algebra Models for the pi-Calculus

  2005cited by this paper
• A Temporal Logic of Nested Calls and Returns

  2004cited by this paper
• Numeric Domains with Summarized Dimensions

  2004cited by this paper
• Weakly Relational Numerical Abstract Domains

  2004cited by this paper
• Analysis of Recursive Game Graphs Using Data Flow Equations

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

  2003cited by this paper
• The octagon abstract domain

  2001cited by this paper
• TVLA: A System for Implementing Static Analyses

  2000influential reference
• Combinations of abstract domains for logic programming: open product and generic pattern construction

  2000cited by this paper
• Combining Interprocedural Pointer Analysis and Conditional Constant Propagation

  1999cited by this paper
• Parametric shape analysis via 3-valued logic

  1999cited by this paper
• Jimple: Simplifying Java Bytecode for Analyses and Transformations

  1998cited by this paper
• A Hierarchy of Constraint Systems for Data-Flow Analysis of Constraint Logic-Based Languages

  1998cited by this paper
• Context-sensitive interprocedural points-to analysis in the presence of function pointers

  1994cited by this paper
• Abstract Interpretation Frameworks

  1992cited by this paper
• A storeless model of aliasing and its abstractions using finite representations of right-regular equivalence relations

  1992cited by this paper
• Automatic discovery of linear restraints among variables of a program

  1978cited by this paper
• Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints

  1977cited by this paper
• Static determination of dynamic properties of programs

  1976cited by this paper

• Precise Compositional Buffer Overflow Detection via Heap Disjointness

  2024cites this paper
• Quick call path generation for program analysis

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

  2022cites this paper
• Evaluating Design Tradeoffs in Numeric Static Analysis for Java

  2018cites this paper
• Shape Analysis with Connectors 1

  2015cites this paper
• Automatic Inference of Heap Properties Exploiting Value Domains

  2015cites this paper
• Framework for Static Analysis of PHP Applications

  2015cites this paper
• Automated backward error analysis for numerical code

  2015cites this paper
• Shape Analysis with Connectors

  2015cites this paper
• Targeted Update - Aggressive Memory Abstraction Beyond Common Sense and Its Application on Static Numeric Analysis

  2014cites this paper
• Approved for public release; distribution unlimited

  2012influential citation