École Nationale Supérieure de
Techniques Avancées

Résumé

Rapport de Projet de Recherche effectué du 17/05/2021 au 20/08/2021. L’analyse statique est une méthode permettant d’acquérir automatiquement des informations sur les programmes par le biais d’une interprétation abstraite. Le calcul de cette interprétation peut se révéler coûteux en mémoire. Afin d’améliorer ce coût en mémoire, après avoir développé un interprète basique, l’objectif de ce stage était d’implémenter l’algorithme donné dans l’article Memory-efficient fixpoint computation de Kim et al. qui permet d’optimiser ce calcul. Ensuite, un programme permettant d’effectuer l’analyse structurelle de graphes de flot de contrôle sera développé. Les codes ont été réalisés en OCaml en vue d’être intégrés à la plateforme BINSEC développée au CEA.