Smart Widening for the Polyhedral Analysis

Yassamine Seladji

2024

Abstract

Interpretation, Static Analysis, Polyhedra Abstract Domain. The polyhedron abstract domain is a cornerstone of static program analysis, providing a powerful mathematical framework for reasoning about numerical properties of programs. It can express a large number of properties. This makes it complex and time-consuming. In the polyhedral analysis, the widening operator with threshold proposes a good compromise between precision and time execution. However, ensuring both termination and precision in the analysis process remains a challenge, particularly when dealing with complex programs and high-dimensional state spaces. This paper proposes a novel approach to improve polyhedral analysis by dynamically computing relevant widening thresholds, thereby improving both the termination and precision of the analysis. We demonstrate the effectiveness of our approach through experimental evaluation on a variety of benchmark programs. Our results show significant improvements in both analysis termination and precision.

Paper Citation

in Harvard Style

Seladji Y. (2024). Smart Widening for the Polyhedral Analysis. In Proceedings of the 19th International Conference on Software Technologies - Volume 1: ICSOFT; ISBN 978-989-758-706-1, SciTePress, pages 79-87. DOI: 10.5220/0012860500003753

in Bibtex Style

@conference{icsoft24,
author={Yassamine Seladji},
title={Smart Widening for the Polyhedral Analysis},
booktitle={Proceedings of the 19th International Conference on Software Technologies - Volume 1: ICSOFT},
year={2024},
pages={79-87},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0012860500003753},
isbn={978-989-758-706-1},
}

in EndNote Style

TY - CONF

JO - Proceedings of the 19th International Conference on Software Technologies - Volume 1: ICSOFT
TI - Smart Widening for the Polyhedral Analysis
SN - 978-989-758-706-1
AU - Seladji Y.
PY - 2024
SP - 79
EP - 87
DO - 10.5220/0012860500003753
PB - SciTePress