Relational Abstract Domain of Weighted Hexagons

Authors:
Jdrzej Fulara;Konrad Durnoga;Krzysztof Jakubczyk;Aleksy Schubert
Affiliations:
Institute of Informatics, University of Warsaw, ul. Banacha 2, 02-097 Warsaw, Poland;Institute of Informatics, University of Warsaw, ul. Banacha 2, 02-097 Warsaw, Poland;Institute of Informatics, University of Warsaw, ul. Banacha 2, 02-097 Warsaw, Poland;Institute of Informatics, University of Warsaw, ul. Banacha 2, 02-097 Warsaw, Poland
Venue:
Electronic Notes in Theoretical Computer Science (ENTCS)
Year:
2010

Citing 12
Cited 5

A technique for summarizing data access and its use in parallelism enhancing transformations

PLDI '89 Proceedings of the ACM SIGPLAN 1989 Conference on Programming language design and implementation
Introduction to algorithms

Introduction to algorithms
Abstract interpretation and application to logic programs

Journal of Logic Programming
Abstract debugging of higher-order imperative languages

PLDI '93 Proceedings of the ACM SIGPLAN 1993 conference on Programming language design and implementation
Automatic discovery of linear restraints among variables of a program

POPL '78 Proceedings of the 5th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints

POPL '77 Proceedings of the 4th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Systematic design of program analysis frameworks

POPL '79 Proceedings of the 6th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Design of Syntactic Program Transformations by Abstract Interpretation of Semantic Transformations

Proceedings of the 17th International Conference on Logic Programming
A static analyzer for large safety-critical software

PLDI '03 Proceedings of the ACM SIGPLAN 2003 conference on Programming language design and implementation
The octagon abstract domain

Higher-Order and Symbolic Computation
Pentagons: a weakly relational abstract domain for the efficient validation of array accesses

Proceedings of the 2008 ACM symposium on Applied computing
Two variables per linear inequality as an abstract domain

LOPSTR'02 Proceedings of the 12th international conference on Logic based program synthesis and transformation

Discovering invariants via simple component analysis

Journal of Symbolic Computation
TreeKs: A Functor to Make Numerical Abstract Domains Scalable

Electronic Notes in Theoretical Computer Science (ENTCS)
Generic Abstraction of Dictionaries and Arrays

Electronic Notes in Theoretical Computer Science (ENTCS)
Sweeping in Abstract Interpretation

Electronic Notes in Theoretical Computer Science (ENTCS)
Polyhedral analysis using parametric objectives

SAS'12 Proceedings of the 19th international conference on Static Analysis

Quantified Score

Hi-index	0.00

Visualization

Abstract

We propose a new numerical abstract domain for static analysis by abstract interpretation, the domain of Weighted Hexagons. It is capable of expressing interval constraints and relational invariants of the form x=