Automated program analysis: revisiting precondition inference through constraint acquisition - CEA - Commissariat à l’énergie atomique et aux énergies alternatives Accéder directement au contenu
Communication Dans Un Congrès Année : 2022

Automated program analysis: revisiting precondition inference through constraint acquisition

Résumé

Program annotations under the form of function pre/postconditions are crucial for many software engineering and program verification applications. Unfortunately, such annotations are rarely available and must be retrofitted by hand. In this paper, we explore how Constraint Acquisition (CA), a learning framework from Constraint Programming, can be leveraged to automatically infer program preconditions in a black-box manner from input-output observations. We propose PRECA, the first-ever framework based on active constraint acquisition dedicated to infer memory-related preconditions. PRECA overpasses prior techniques based on program analysis and formal methods, offering well-identified guarantees and returning more precise results in practice.
Fichier principal
Vignette du fichier
2022-ijcai.pdf (311.8 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

cea-04258914 , version 1 (25-10-2023)

Identifiants

Citer

Grégoire Menguy, Sébastien Bardin, Nadjib Lazaar, Arnaud Gotlieb. Automated program analysis: revisiting precondition inference through constraint acquisition. IJCAI-ECAI 22 - 31st International Joint Conference on Artificial Intelligence and the 25th European Conference on Artificial Intelligence, Jul 2022, Vienne, Austria. pp.1873-1879, ⟨10.24963/ijcai.2022/260⟩. ⟨cea-04258914⟩
19 Consultations
3 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More