Automatic Detection of Vulnerable Variables for CTL Properties of Programs - Inria - Institut national de recherche en sciences et technologies du numérique
Communication Dans Un Congrès Année : 2024

Automatic Detection of Vulnerable Variables for CTL Properties of Programs

Résumé

We present our tool FuncTion-V for the automatic identification of the minimal sets of program variables that an attacker can control to ensure an undesirable program property. FuncTion-V supports program properties expressed in Computation Tree Logic (CTL), and builds upon an abstract interpretation-based static analysis for CTL properties that we extend with an abstraction refinement process. We showcase our tool on benchmarks collected from the literature and SV-COMP 2023.
Fichier principal
Vignette du fichier
lpar2024.pdf (609.05 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-04710215 , version 1 (26-09-2024)

Licence

Identifiants

Citer

Naïm Moussaoui Remil, Caterina Urban, Antoine Miné. Automatic Detection of Vulnerable Variables for CTL Properties of Programs. 25th Conference on Logic for Programming, Artificial Intelligence and Reasoning, May 2024, Port Louis, Mauritius. pp.116-126, ⟨10.29007/dnpx⟩. ⟨hal-04710215⟩
17 Consultations
4 Téléchargements

Altmetric

Partager

More