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

Restricted to Registered users only



Research project made from May, 17th 2021 to August, 20th 2021. Static analysis is a method which makes it able to automatically get information about programs with an abstract interpretation. Computing this interpretation may be costly in memory. In order to enhance this cost, after developing a simple interpreter, the goal of this internship was to implement the algorithm given in the article Memory-efficient fixpoint computation of Kim et al. which allows to optimize this computation.Then, a program computing the structural analysis of flowgraphs was developed. The codes were written in OCaml so that they can be integrated in the BINSEC platform developed at the CEA.

Item Type:Thesis (PRE - Research Project)
Uncontrolled Keywords:Optimisation mémoire
Subjects:Information and Communication Sciences and Technologies
ID Code:8542
Deposited By:corentin Gendreau
Deposited On:23 août 2021 11:20
Dernière modification:23 août 2021 11:20

Repository Staff Only: item control page