Gendreau, M. Corentin (2021) Amélioration d'une analyse statique de code binaire PRE - Research Project, ?? - ??.
![[img]](/style/images/fileicons/application_pdf.png) | PDF Restricted to Registered users only 1033Kb |
Abstract
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
