An array content static analysis based on non-contiguous partitions
DOI10.1016/J.CL.2016.01.005zbMATH Open1379.68096OpenAlexW2292277329MaRDI QIDQ681352FDOQ681352
Authors: Jiangchao Liu, Xavier Rival 
Publication date: 30 January 2018
Published in: Computer Languages, Systems \& Structures (Search for Journal in Brave)
Full work available at URL: https://hal.inria.fr/hal-01399837/file/Liu-Rival-ComputersLanguages-2016.pdf
Recommendations
- Abstraction of arrays based on non contiguous partitions
- Non-disjunctive Numerical Domain for Array Predicate Abstraction
- A parametric segmentation functor for fully automatic and scalable array content analysis
- Relational abstract interpretation of arrays in assembly code
- Generic abstraction of dictionaries and arrays
Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Specification and verification (program logics, model checking, etc.) (68Q60)
Cites Work
- QUICr: A Reusable Library for Parametric Abstraction of Sets and Numbers
- Title not available (Why is that?)
- A parametric segmentation functor for fully automatic and scalable array content analysis
- The octagon abstract domain
- Constructive versions of Tarski's fixed point theorems
- Relational inductive shape analysis
- A framework for numeric analysis of array operations
- Tools and Algorithms for the Construction and Analysis of Systems
- Definability of accelerated relations in a theory of arrays and its applications
- Decision procedures for flat array properties
- Fluid updates: beyond strong vs. weak updates
- Grammar Analysis and Parsing by Abstract Interpretation
- Array Abstractions from Proofs
- Scalable Shape Analysis for Systems Code
- Invariant Synthesis for Combined Theories
- Abstraction Refinement for Quantified Array Assertions
- Reduced product combination of abstract domains for shapes
- Lifting abstract interpreters to quantified logical domains
- Title not available (Why is that?)
- Abstraction of arrays based on non contiguous partitions
- Precise reasoning for programs using containers
Cited In (7)
- Generic abstraction of dictionaries and arrays
- A framework for numeric analysis of array operations
- Abstraction of arrays based on non contiguous partitions
- Non-disjunctive Numerical Domain for Array Predicate Abstraction
- Lightweight shape analysis based on physical types
- A parametric segmentation functor for fully automatic and scalable array content analysis
- Relational abstract interpretation of arrays in assembly code
Uses Software
This page was built for publication: An array content static analysis based on non-contiguous partitions
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q681352)
