Numeric Domains with Summarized Dimensions

No abstract is available for this paper.

• Publication year

  2004

• Venue

  International Conference on Tools and Algorithms for Construction and Analysis of Systems

• Publication date

  2004-03-29

• Fields of study

  Mathematics, Computer Science

• Identifiers
  DOI 10.1007/978-3-540-24730-2_38
• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• A Few Graph-Based Relational Numerical Abstract Domains

  2002cited by this paper
• Possibly Not Closed Convex Polyhedra and the Parma Polyhedra Library

  2002influential reference
• Automated Verification of Concurrent Linked Lists with Counters

  2002cited by this paper
• The octagon abstract domain

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

  2000cited by this paper
• Putting static analysis to work for verification: A case study

  2000cited by this paper
• A First Step Towards Automated Detection of Buffer Overrun Vulnerabilities

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

  1999influential reference
• Verification of Real-Time Systems using Linear Relation Analysis

  1997influential reference
• Generalized Constant Propagation: A Study in C

  1996influential reference
• SPARSKIT: a basic tool kit for sparse matrix computations - Version 2

  1994cited by this paper
• Array indices relational semantic analysis using rational cosets and trapezoids

  1993cited by this paper
• Analyses semantiques de congruence

  1991cited by this paper
• A Basic Tool Kit for Sparse Matrix Computations

  1990cited by this paper
• Timing Assumptions and Verification of Finite-State Concurrent Systems

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

  1978influential reference
• Compiler Analysis of the Value Ranges for Variables

  1977influential reference
• Fourier-Motzkin Elimination and Its Dual

  1973cited by this paper

• Abstraction of memory block manipulations by symbolic loop folding

  2025cites this paper
• Reusing Caches and Invariants for Efficient and Sound Incremental Static Analysis (Artifact)

  2025cites this paper
• Try-Mopsa: Relational Static Analysis in Your Pocket

  2025cites this paper
• Automatic Inference of Relational Object Invariants

  2024cites this paper
• Concretization of Abstract Traffic Scene Specifications Using Metaheuristic Search

  2023cites this paper
• Automated Generation of Consistent Graph Models With Multiplicity Reasoning

  2022cites this paper
• Automated generation of consistent models using qualitative abstractions and exploration strategies

  2021cites this paper
• Relational abstract interpretation of arrays in assembly code

  2021influential citation
• A Specification Language for Consistent Model Generation based on Partial Models

  2020cites this paper
• Automated generation of consistent models with structural and attribute constraints

  2020cites this paper
• A Library Modeling Language for the Static Analysis of C Programs

  2020cites this paper
• Value and allocation sensitivity in static Python analyses

  2020cites this paper
• What Programs Want: Automatic Inference of Input Data Specifications

  2020influential citation
• Flow insensitive relational static analysis

  2019cites this paper
• Precise and modular static analysis by abstract interpretation for the automatic proof of program soundness and contracts inference. (Analyse statique modulaire précise par interprétation abstraite pour la preuve automatique de correction de programmes et pour l'inférence de contrats)

  2019cites this paper
• Vérification par interprétation abstraite en mémoire faiblement cohérente. (Verification by abstract interpretation under weakly consistent memory)

  2019cites this paper
• An Abstract Domain for Trees with Numeric Relations

  2019cites this paper
• Relational Thread-Modular Abstract Interpretation Under Relaxed Memory Models

  2018cites this paper
• Design of a Modular Platform for Static Analysis

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

  2018cites this paper
• Inferring functional properties of matrix manipulating programs by abstract interpretation

  2018cites this paper
• A Framework for Array Invariants Synthesis in Induction-Loop Programs

  2017cites this paper
• An array content static analysis based on non-contiguous partitions

  2017influential citation
• From Array Domains to Abstract Interpretation Under Store-Buffer-Based Memory Models

  2016influential citation
• Static Analysis by Abstract Interpretation of the Functional Correctness of Matrix Manipulating Programs

  2016cites this paper
• A generic framework for heap and value analyses of object-oriented programming languages

  2016cites this paper
• An abstract memory functor for verified C static analyzers

  2016cites this paper
• Automatic Invariant Synthesis for Arrays in Simple Programs

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

  2015cites this paper
• Abstraction of Arrays Based on Non Contiguous Partitions

  2015cites this paper
• Abstraction of Optional Numerical Values

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

  2015cites this paper
• Shape Analysis with Connectors 1

  2015cites this paper
• Verified static analyzes for low-level languages

  2015cites this paper
• Adaptable Static Analysis of Executables for proving the Absence of Vulnerabilities

  2015cites this paper
• Shape Analysis with Connectors

  2015cites this paper
• Modularly Combining Numeric Abstract Domains with Points-to Analysis, and a Scalable Static Numeric Analyzer for Java

  2014cites this paper
• Static analysis for independent app developers

  2014cites this paper
• Symbolic Abstraction: Algorithms and Applications

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

  2014cites this paper
• Generic Combination of Heap and Value Analyses in Abstract Interpretation

  2014cites this paper
• Satisfiability modulo abstraction for separation logic with linked lists

  2014cites this paper
• Abstract Analysis of Numerical and Container Variables

  2013cites this paper
• THÈSE / UNIVERSITÉ DE RENNES 1 sous le sceau de l'Université Européenne de Bretagne pour le grade de DOCTEUR DE L'UNIVERSITÉ DE RENNES 1 Mention : Informatique Ecole doctorale MATISSE présentée par

  2013cites this paper
• Analyse statique de programmes manipulant des tableaux

  2013cites this paper
• Static analysis by abstract interpretation of concurrent programs. (Analyse statique par interprétation abstraite de programmes concurrents)

  2013cites 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)

  2013cites this paper
• Lifting Numerical Abstract Domains to Heap-manipulating Programs

  2013cites this paper
• On Template-Based Inference of Rich Invariants in Leon

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

  2012cites this paper
• Summarized Dimensions Revisited

  2012cites this paper
• TVAL+ : TVLA and Value Analyses Together

  2012cites this paper
• Robust and generic abstract domain for static program analyses : the polyhedral case

  2010cites this paper
• Contributions à l'analyse statique de programmes manipulant des tableaux. (Contributions to the Static Analysis of Programs Handling Arrays)

  2010cites this paper
• Statically Inferring Complex Heap, Array, and Numeric Invariants

  2010cites this paper
• Practical Shape Analysis

  2010cites this paper
• Apron: A Library of Numerical Abstract Domains for Static Analysis

  2009cites this paper
• A combination framework for tracking partition sizes

  2009cites this paper
• Partially disjunctive shape analysis

  2009cites this paper
• Combining Quantified Domains ( Full Version )

  2009influential citation
• AUTOMATIC MAINTENANCE OF TRANSITIVE PROPERTIES WITH APPLICATIONS TO SHAPE ANALYSIS

  2009cites this paper
• Symbolic execution with abstraction

  2009cites this paper
• A Combination Framework for Tracking Partition Sizes (Full Version)

  2009cites this paper
• A Relational Approach to Interprocedural Shape Analysis

  2009cites this paper
• Discovering properties about arrays in simple programs

  2008cites this paper
• Grid domains for analysing software

  2008cites this paper
• Finding concurrency-related bugs using random isolation

  2008cites this paper
• On the Design of Generic Static Analyzers for Modern Imperative Languages

  2007cites this paper
• Analysis of Communicating Infinite State Machines using Lattice Automata

  2007cites this paper
• Comparison Under Abstraction for Verifying Linearizability

  2007influential citation
• Lattice Automata: A Representation for Languages on Infinite Alphabets, and Some Applications to Verification

  2007cites this paper
• Numeric program analysis techniques with applications to array analysis and library summarization

  2007cites this paper
• Arithmetic Strengthening for Shape Analysis

  2007cites this paper
• Shape Analysis and Applications

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

  2006cites this paper
• Symbolic Execution with Abstract Subsumption Checking

  2006cites this paper
• Some ways to reduce the space dimension in polyhedra computations

  2006cites this paper
• Refinement-based program verification via three-valued-logic analysis

  2006cites this paper
• Recency-Abstraction for Heap-Allocated Storage

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

  2006cites this paper
• Automatic Verification of Strongly Dynamic Software Systems

  2005cites this paper
• Predicate Abstraction and Canonical Abstraction for Singly-Linked Lists

  2005cites this paper
• A Linear Domain for Analyzing the Distribution of Numerical Values 1 by

  2005cites this paper
• On the Utility of Canonical Abstraction

  2005cites this paper
• A framework for numeric analysis of array operations

  2005influential citation
• Towards the Integration of Symbolic and Numerical Static Analysis

  2005cites this paper
• A Relational Abstraction for Functions

  2005influential citation
• WYSINWYX: What you see is not what you eXecute

  2005cites this paper
• Static Program Analysis via 3-Valued Logic

  2004cites this paper
• Abstraction Refinement for 3-Valued-Logic Analysis

  2004cites this paper
• A relational approach to interprocedural shape analysis

  2004cites this paper
• TVLA: A system for generating abstract interpreters

  2004cites this paper
• Domaines numériques abstraits faiblement relationnels

  2004cites this paper
• Weakly Relational Numerical Abstract Domains

  2004cites this paper
• Finite differencing of logical formulas for static analysis

  2003cites this paper
• Flow insensitive relational static analysis

  year unknowncites this paper
• Flow insensitive relational static analysis

  year unknowncites this paper
• Flow insensitive relational static analysis

  year unknowncites this paper
• Numeric Analysis of Array Operations

  year unknowncites this paper
• Flow insensitive relational static analysis

  year unknowncites this paper