Pentagons: a weakly relational abstract domain for the efficient validation of array accesses
type: Item
instance of: scholarly article
title: Pentagons: a weakly relational abstract domain for the efficient validation of array accesses
zbMATH Open document ID: 1197.68035
author: Francesco Logozzo
author: Manuel Fähndrich
published in: Science of Computer Programming
publication date: 2010-08-18T00:00:00Z
Mathematics Subject Classification ID: 68N15
Mathematics Subject Classification ID: 68N25
zbMATH DE Number: 5772407
zbMATH Keywords: abstract domains
zbMATH Keywords: abstract interpretation
zbMATH Keywords: bounds checking
zbMATH Keywords: numerical domains
zbMATH Keywords: static analysis
zbMATH Keywords: .NET framework
describes a project that uses: CSSV
describes a project that uses: Cibai
describes a project that uses: ASTREE
MaRDI profile type: Publication
full work available at URL: j.scico.2009.04.004
OpenAlex ID: W1974133806
cites work: Static Analysis of String Manipulations in Critical Embedded C Programs
cites work: Q4038702
cites work: Static Analysis
cites work: Q4414726
cites work: The octahedron abstract domain
cites work: Q4885877
cites work: Q4934630
cites work: Verification: Theory and Practice
cites work: Grammar Analysis and Parsing by Abstract Interpretation
cites work: Static Analysis by Policy Iteration on Relational Domains
cites work: Some ways to reduce the space dimension in polyhedra computations
cites work: Affine relationships among variables of a program
cites work: Q4068060
cites work: SubPolyhedra: A (More) Scalable Approach to Infer Linear Inequalities
cites work: Cibai: An Abstract Interpretation-Based Static Analyzer for Modular Analysis and Verification of Java Classes
cites work: Q4529777
cites work: The octagon abstract domain
cites work: The Constraint Database Approach to Software Verification
cites work: Verification, Model Checking, and Abstract Interpretation
cites work: Two Variables per Linear Inequality as an Abstract Domain
cites work: Q4411949
DOI: 10.1016/J.SCICO.2009.04.004
description: scientific article; zbMATH DE number 5772407