Skip to content
Snippets Groups Projects
Commit 395e1ef4 authored by Forget Julien's avatar Forget Julien
Browse files

Update authors.

parent 61610386
No related branches found
No related tags found
No related merge requests found
Show whitespace changes
Inline Side-by-side
Showing
with 9 additions and 6 deletions
README.md
+ 9
− 6
View file @ 395e1ef4
...@@ -2,12 +2,15 @@ ...@@ -2,12 +2,15 @@
Polymalys: Polyhedra-based Memory Analysis. Polymalys: Polyhedra-based Memory Analysis.
* Version XX for Otawa XX * Version 1.1, December 2023
---- ----
## Author ## Authors
Clement Ballabriga <Clement.Ballabriga@nospamuniv-lille.fr> * Clement Ballabriga <Clement.Ballabriga@nospamuniv-lille.fr>
* Julien Forget <Julien.Forget@nospamuniv-lille.fr>
* Sandro Grebant <sandro.grebant@nospamuniv-lille.fr>
* Giuseppe Lipari <giuseppe.lipari@nospamuniv-lille.fr>
License: GPL 2.1 or higher. License: GPL 2.1 or higher.
...@@ -21,9 +24,9 @@ Polymalys is a tool for static analysis of *binary* code. It discovers ...@@ -21,9 +24,9 @@ Polymalys is a tool for static analysis of *binary* code. It discovers
linear relations between data locations (i.e. memory locations as well linear relations between data locations (i.e. memory locations as well
as registers) of the code. The analysis relies on abstract as registers) of the code. The analysis relies on abstract
interpretation using a polyhedra-based abstract domain. The current interpretation using a polyhedra-based abstract domain. The current
implementation exploits the discovered linear relations to compute upper implementation exploits the discovered linear relations to compute
bounds to loop iterations. For more information on the underlying upper bounds to loop iterations. For more information on the
theory, refer to [1]. underlying theory, refer to [1].
## Requirements ## Requirements
......
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment