Gendreau, M. Corentin (2021) Amélioration d'une analyse statique de code binaire PRE - Projet de recherche, ?? - ??.

Fichier(s) associé(s) à ce document :

[img]PDF
Restricted to Accès restreint

1033Kb

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.

Type de document:Rapport ou mémoire (PRE - Projet de recherche)
Mots-clés libres:Optimisation mémoire
Sujets:Sciences et technologies de l'information et de la communication
Code ID :8542
Déposé par :corentin Gendreau
Déposé le :23 août 2021 11:20
Dernière modification:23 août 2021 11:20

Modifier les métadonnées de ce document.